Fix index bug due to lower/upper case mixing (#1578)

This commit is contained in:
Veronica Berglyd Olsen
2023-11-05 21:12:04 +01:00
committed by GitHub
3 changed files with 4 additions and 8 deletions
+1 -1
View File
@@ -404,7 +404,7 @@ class NWIndex:
tagName = tBits[1] tagName = tBits[1]
self._tagsIndex.add(tagName, tHandle, sTitle, itemClass) self._tagsIndex.add(tagName, tHandle, sTitle, itemClass)
self._itemIndex.setHeadingTag(tHandle, sTitle, tagName) self._itemIndex.setHeadingTag(tHandle, sTitle, tagName)
tags[tagName] = True tags[tagName.lower()] = True
else: else:
self._itemIndex.addHeadingRef(tHandle, sTitle, tBits[1:], tBits[0]) self._itemIndex.addHeadingRef(tHandle, sTitle, tBits[1:], tBits[0])
+1 -3
View File
@@ -338,9 +338,7 @@ class GuiDocEditor(QPlainTextEdit):
if self._docHandle is None: if self._docHandle is None:
self.clearEditor() self.clearEditor()
else: else:
self.redrawText() self._qDocument.syntaxHighlighter.rehighlight()
if not self._bigDoc:
self.highLight.rehighlight()
return return
+2 -4
View File
@@ -1,12 +1,10 @@
%%~name: Space %%~name: Space
%%~path: 15c4492bd5107/f1471bef9f2ae %%~path: 15c4492bd5107/f1471bef9f2ae
%%~kind: WORLD/NOTE %%~kind: WORLD/NOTE
%%~hash: bc139a020239c9c0d936aa9d0bcc3644ae2f370c %%~hash: b08c9796fd9918a87e107bf26606e75341a49ce8
%%~date: Unknown/2023-08-25 16:52:06 %%~date: Unknown/2023-11-03 00:36:58
# Space # Space
@tag: Space @tag: Space
Space … its an awful lot of nothing, with bits in it here and there. Some of which, people like to call home. Space … its an awful lot of nothing, with bits in it here and there. Some of which, people like to call home.