mirror of
https://github.com/kovidgoyal/calibre.git
synced 2025-07-09 03:04:10 -04:00
Fix #1401357 [Harmless error when merging files in the editor](https://bugs.launchpad.net/calibre/+bug/1401357)
This commit is contained in:
parent
a82cf81975
commit
4d7b2a379a
@ -281,7 +281,7 @@ class TextEdit(PlainTextEdit):
|
|||||||
sel.append(self.current_cursor_line)
|
sel.append(self.current_cursor_line)
|
||||||
if self.current_search_mark is not None:
|
if self.current_search_mark is not None:
|
||||||
sel.append(self.current_search_mark)
|
sel.append(self.current_search_mark)
|
||||||
if instant and not self.highlighter.has_requests:
|
if instant and not self.highlighter.has_requests and self.smarts is not None:
|
||||||
sel.extend(self.smarts.get_extra_selections(self))
|
sel.extend(self.smarts.get_extra_selections(self))
|
||||||
self.smart_highlighting_updated.emit()
|
self.smart_highlighting_updated.emit()
|
||||||
else:
|
else:
|
||||||
|
Loading…
x
Reference in New Issue
Block a user