This commit is contained in:
Kovid Goyal 2013-11-11 17:50:58 +05:30
parent a9d96d8d77
commit fd7cbbe464

View File

@ -142,11 +142,14 @@ class TextEdit(QPlainTextEdit):
sel = QTextEdit.ExtraSelection()
sel.format.setBackground(self.highlight_color)
sel.cursor = self.textCursor()
self.current_search_mark = sel
if sel.cursor.hasSelection():
self.current_search_mark = sel
c = self.textCursor()
c.clearSelection()
self.setTextCursor(c)
else:
self.current_search_mark = None
self.update_extra_selections()
c = self.textCursor()
c.clearSelection()
self.setTextCursor(c)
# Line numbers and cursor line {{{
def highlight_cursor_line(self):