From 976012bdf45631979561387f28cf0c2d68700459 Mon Sep 17 00:00:00 2001
From: Kovid Goyal <kovid@kovidgoyal.net>
Date: Fri, 7 Aug 2020 09:00:29 +0530
Subject: [PATCH] Have shortcut to toggle highlights panel work when selection
 bar is visible

---
 src/pyj/read_book/selection_bar.pyj | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/pyj/read_book/selection_bar.pyj b/src/pyj/read_book/selection_bar.pyj
index 4a2447d925..5eda6ad002 100644
--- a/src/pyj/read_book/selection_bar.pyj
+++ b/src/pyj/read_book/selection_bar.pyj
@@ -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 {{{