doxygen: make it possible to focus the already-shown search input.

For example when going back. Until now I had to use the mouse.

diff --git a/doxygen/search.js b/doxygen/search.js
index 330351a7fd3a29ec3326c966d084c6e0bee5ed81..c454cec961bd382c047f4a6f1e7e5d4f3b977a67 100644 (file)
--- a/doxygen/search.js
+++ b/doxygen/search.js
@@ -557,6 +557,11 @@ if(typeof document !== 'undefined') {
             if(event.key == 'Escape') {
                 hideSearch();
 
+            /* Focus the search input, if not already, using T or Tab */
+            } else if((!document.activeElement || document.activeElement.id != 'search-input') && (event.key.toLowerCase() == 't' || event.key == 'Tab') && !event.shiftKey && !event.ctrlKey && !event.altKey && !event.metaKey) {
+                document.getElementById('search-input').focus();
+                return false; /* so T doesn't get entered into the box */
+
             /* Select next item */
             } else if(event.key == 'ArrowDown' || (event.key == 'Tab' && !event.shiftKey)) {
                 let current = document.getElementById('search-current');