o.k. some more information after changing the margin values and syncing JBPatch. This is the content of opt/jbpatch/com.mobileread.ixtab.patch.margins.txt:
# This file is a configuration file, and may contain important settings.
# Change this file at your own risk, and only if you know what you are doing.
reader.content.topMargin=30
reader.content.topMarginOffset=10
reader.content.bottomMargin=30
reader.progressbar.footer.height=30
reader.content.leftMargin=40
reader.content.rightMargin=40
font.wordsperline.margin.list.default=40
font.wordsperline.margin.list.fewer=80
font.wordsperline.margin.list.fewest=120
Next I changed the specific margin values inside the txt file by hand (all 0) and restarted the reader. Then opened JBPatch and found ... the values = 0. Exactly the values I changed by hand. And alas - inside the document the margin settings have changed visibly.
Looks like JBPatch did not change the com.mobileread.ixtab.patch.margins.txt - but why?
|