Well, I have changed the MARGIN setting before, because it sounded relevant to my issue. The procedure:
1. Open the file manager in Koreader
2. Go to Advanced settings
3. Change DKOPTREADER_CONFIG_PAGE_MARGIN from 0.1 to 1
4. Exit the app to invoke the Save settings dialog; save the settings
5. Open Koreader again and see a pdf/djvu file (result: no noticeable change in the margins)
6. Go to Advanced settings to see if DKOPTREADER_CONFIG_PAGE_MARGIN is at 1 (yes, it is)
I went through it again just now. I cannot figure out why the setting is there and if it does anything. This is why I am here asking.
Last edited by mobama; 06-29-2018 at 10:45 AM.
|