CodeMirror/manuskript
1
0
Fork 0
mirror of https://github.com/olivierkes/manuskript.git synced 2024-05-15 10:22:26 +12:00
Code Issues Projects Releases Wiki Activity

Fix most problems regarding issue #1065

Browse source 
Signed-off-by: TheJackiMonster <thejackimonster@gmail.com>
This commit is contained in:
TheJackiMonster 2023-01-30 23:20:30 +01:00
parent 414cd0f8a3
commit 380354bdf8
No known key found for this signature in database
GPG key ID: D850A5F772E880F9
1 changed files with 10 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

14
manuskript/ui/highlighters/searchResultHighlighters/widgetSelectionHighlighter.py
View file

@ -46,13 +46,19 @@ class widgetSelectionHighlighter():
def _highlightTextEditSearchResult(self, textEdit, startPos, endPos, clearOnFocusOut):
# On focus out, clear text edit selection.
oldTextCursor = textEdit.textCursor()
if clearOnFocusOut:
self.generateClearHandler(textEdit, lambda widget: widget.setTextCursor(oldTextCursor))
# Highlight search result on the text edit.
c = textEdit.textCursor()
c.setPosition(startPos)
c.setPosition(endPos, QTextCursor.KeepAnchor)
if clearOnFocusOut:
def clearSelection(widget):
cur = widget.textCursor()
if cur.hasSelection() and cur.anchor() == startPos and cur.position() == endPos:
widget.setTextCursor(oldTextCursor)
self.generateClearHandler(textEdit, clearSelection)
# Highlight search result on the text edit.
textEdit.setTextCursor(c)
def _highlightLineEditSearchResult(self, lineEdit, startPos, endPos, clearOnFocusOut):