Minor tweaks in text parsing and highlighting

2020-06-13 21:14:04 +02:00
parent ff6b4bcfa7
commit bd8a6afd91
3 changed files with 16 additions and 14 deletions
@@ -327,8 +327,9 @@ class Tokenizer():
                tmpMarkdown.append("\n")

            elif aLine[0] == "%":
-                cLine = aLine[1:].strip()
-                if cLine.lower().startswith("synopsis:"):
+                cLine = aLine[1:].lstrip()
+                synTag = cLine[:9].lower()
+                if synTag == "synopsis:":
                    self.theTokens.append((
                        self.T_SYNOPSIS,
                        nLine,