Ignore highlight actions if the highight UI is open

This commit is contained in:
Kovid Goyal 2020-05-12 19:52:03 +05:30
parent d6498bf837
commit 7d38da5243
No known key found for this signature in database
GPG Key ID: 06BC317B515ACE7C

View File

@ -1191,6 +1191,8 @@ class View:
self.show_name(sr.file_name, initial_position={'type':'search_result', 'search_result':sr, 'replace_history':True})
def highlight_action(self, uuid, which):
if self.create_annotation.is_visible:
return
if which is 'create':
self.iframe_wrapper.send_message('create_annotation')
return