Clear selection after removing highlight

This commit is contained in:
Kovid Goyal 2020-07-24 19:56:18 +05:30
parent a6dd65bea4
commit 709a9658a9
No known key found for this signature in database
GPG Key ID: 06BC317B515ACE7C
2 changed files with 3 additions and 1 deletions

View File

@ -19,7 +19,6 @@ from widgets import create_button
# TODO:
# Custom colors for highlights
# Export all annots as plain text/JSON
# Fix selection bar remaining open after removing highlight
class AnnotationsManager:

View File

@ -769,6 +769,9 @@ class IframeBoss:
if crw_:
unwrap_crw(crw_)
v'delete annot_id_uuid_map[crw_]'
# have to remove selection otherwise it remains as the empty
# string, and the selection bar does not hide itself
window.getSelection().removeAllRanges()
elif data.type is 'apply-highlight':
sel = window.getSelection()
text = sel.toString()