option to disable the highlighting of search terms

2021-11-01 15:56:26 +01:00
parent 9d0b8b6fff
commit 1f7ffe0488
3 changed files with 13 additions and 1 deletions
--- a/settingsstore.py
+++ b/settingsstore.py
@@ -32,6 +32,7 @@ class SettingsStore():
        # apply default settings
        session.add_section('general')
        session.set('general', 'font_size', '12')
+        session.set('general', 'highlight_search_term', 'True')
        session.read(session_file)
        return session