On closing highlights panel go back to text

This commit is contained in:
Kovid Goyal 2020-08-17 21:33:27 +05:30
parent bc1aa48632
commit 8fbf98aac2
No known key found for this signature in database
GPG Key ID: 06BC317B515ACE7C

View File

@ -675,6 +675,7 @@ class Overlay:
self.view.get_current_cfi('show-bookmarks', do_it)
def show_highlights(self):
self.hide_current_panel()
if ui_operations.toggle_highlights:
self.hide()
ui_operations.toggle_highlights()