Rename once again, and use short instead for short descriptions of notes

2023-11-26 13:58:00 +01:00
parent f919149c58
commit b9b4969b85
22 changed files with 73 additions and 67 deletions
@@ -170,8 +170,8 @@ class ToMarkdown(Tokenizer):
                label = self._localLookup("Synopsis")
                lines.append(f"**{label}:** {tText}\n\n")

-            elif tType == self.T_SUMMARY and self._doSynopsis:
-                label = self._localLookup("Summary")
+            elif tType == self.T_SHORT and self._doSynopsis:
+                label = self._localLookup("Short Description")
                lines.append(f"**{label}:** {tText}\n\n")

            elif tType == self.T_COMMENT and self._doComments: