Have shortcut to toggle highlights panel work when selection bar is visible

This commit is contained in:
Kovid Goyal 2020-08-07 09:00:29 +05:30
parent 0ac9313bdf
commit 976012bdf4
No known key found for this signature in database
GPG Key ID: 06BC317B515ACE7C

View File

@ -481,6 +481,8 @@ class SelectionBar:
self.send_message('trigger-shortcut', name=sc_name)
elif sc_name is 'start_search':
self.book_search()
elif sc_name is 'toggle_highlights':
self.view.on_handle_shortcut({'name': sc_name})
# }}}
# drag scroll {{{