This commit is contained in:
Kovid Goyal 2014-07-11 17:13:10 +05:30
parent 2b06cffa0d
commit 8ebae8ebe5

View File

@ -224,7 +224,7 @@ class TextEdit(PlainTextEdit):
def change_document_name(self, newname): def change_document_name(self, newname):
self.highlighter.doc_name = newname self.highlighter.doc_name = newname
self.highlighter.rehighlight() # Ensure links are checked w.r.t. to the new name correctly self.highlighter.rehighlight() # Ensure links are checked w.r.t. the new name correctly
def replace_text(self, text): def replace_text(self, text):
c = self.textCursor() c = self.textCursor()