Redesign main sidebar

2023-09-05 21:55:42 +02:00
parent ca3a493932
commit f754c80352
3 changed files with 122 additions and 84 deletions
@@ -329,7 +329,7 @@ class GuiDocHighlighter(QSyntaxHighlighter):
                self.setFormat(0, 4, self._hStyles["header4h"])
                self.setFormat(4, len(text), self._hStyles["header4"])

-            if text.startswith("#! "):  # Title
+            elif text.startswith("#! "):  # Title
                self.setFormat(0, 2, self._hStyles["header1h"])
                self.setFormat(2, len(text), self._hStyles["header1"])