andi/krowlog
1
0
Fork 0
Code Issues 1 Pull Requests Packages Projects Releases Wiki Activity

save highlighters

Browse Source 
remove user config (not needed)
This commit is contained in:
Andreas Huber
2021-10-31 18:05:10 +01:00
parent 3d80640609
commit 9fb8a45ef7
5 changed files with 18 additions and 45 deletions
Download Patch File Download Diff File Expand all files Collapse all files

30
highlighting.py
View File

@@ -15,19 +15,19 @@ class Highlighting:
@staticmethod
def read_config(settings: Settings) -> [HighlightRegex]:
result = []
config = settings.config
session = settings.session
for section in config.sections():
for section in session.sections():
if not section.startswith("highlighting."):
continue
query = config.get(section, "query", fallback="")
query = session.get(section, "query", fallback="")
if len(query) == 0:
continue
ignore_case = config.getboolean(section, "ignore-case", fallback=True)
is_regex = config.getboolean(section, "is-regex", fallback=False)
line_background_color = config.get(section, "line.background.color", fallback="None")
hit_background_color = config.get(section, "hit.background.color", fallback="None")
ignore_case = session.getboolean(section, "ignore-case", fallback=True)
is_regex = session.getboolean(section, "is-regex", fallback=False)
line_background_color = session.get(section, "line.background.color", fallback="None")
hit_background_color = session.get(section, "hit.background.color", fallback="None")
try:
highlight = HighlightRegex(
@@ -52,16 +52,16 @@ class Highlighting:
highlighter: HighlightRegex = highlighter
section = "highlighting.%d" % section_counter
section_counter = section_counter + 1
settings.config.add_section(section)
settings.config.set(section, "query", highlighter.query)
settings.config.set(section, "ignore-case", str(highlighter.ignore_case))
settings.config.set(section, "is-regex", str(highlighter.is_regex))
settings.config.set(section, "line.background.color", highlighter.line_background_color)
settings.config.set(section, "hit.background.color", highlighter.hit_background_color)
settings.session.add_section(section)
settings.session.set(section, "query", highlighter.query)
settings.session.set(section, "ignore-case", str(highlighter.ignore_case))
settings.session.set(section, "is-regex", str(highlighter.is_regex))
settings.session.set(section, "line.background.color", highlighter.line_background_color)
settings.session.set(section, "hit.background.color", highlighter.hit_background_color)
@staticmethod
def remove_highlighting_sections(settings: Settings):
for section in settings.config.sections():
for section in settings.session.sections():
if not section.startswith("highlighting."):
continue
settings.config.remove_section(section)
settings.session.remove_section(section)