Fix editor refresh issues (#1573)
This commit is contained in:
@@ -359,6 +359,8 @@ class GuiDocEditor(QTextEdit):
|
|||||||
self.clearEditor()
|
self.clearEditor()
|
||||||
else:
|
else:
|
||||||
self.redrawText()
|
self.redrawText()
|
||||||
|
if not self._bigDoc:
|
||||||
|
self.highLight.rehighlight()
|
||||||
|
|
||||||
return True
|
return True
|
||||||
|
|
||||||
|
|||||||
@@ -980,6 +980,7 @@ class GuiMain(QMainWindow):
|
|||||||
if dlgWords.result() == QDialog.Accepted:
|
if dlgWords.result() == QDialog.Accepted:
|
||||||
logger.debug("Reloading word list")
|
logger.debug("Reloading word list")
|
||||||
SHARED.updateSpellCheckLanguage(reload=True)
|
SHARED.updateSpellCheckLanguage(reload=True)
|
||||||
|
self.docEditor.spellCheckDocument()
|
||||||
|
|
||||||
return True
|
return True
|
||||||
|
|
||||||
|
|||||||
Reference in New Issue
Block a user