estore tabs</b> If enabled, tabs and their properties are saved on
ending the program and restored on restart.</li>
    <li><b>Restore bookmarks</b> If enabled, bookmarks are saved on ending the
program and restored on restart.</li>
    <li><b>Restore per-file settings</b> If enabled, per-file settings are
saved/restored on opening/closing tabs.</li>
    <li><b>Save database interval</b> The interval after which tabs, bookmarks or
per-file settings are saved to the database.</li>
    <li><b>Synchronize pres