chiark / gitweb /
doxygen: make it possible to focus the already-shown search input.
authorVladimír Vondruš <mosra@centrum.cz>
Wed, 2 Jan 2019 00:11:48 +0000 (01:11 +0100)
committerVladimír Vondruš <mosra@centrum.cz>
Wed, 2 Jan 2019 21:07:36 +0000 (22:07 +0100)
commit8cd96c7af81cb83b4d8abe7c1a0c4b9f2bf3c6f0
tree3623cd0442639adf80818cb78abe4b30b98c2e3a
parent44ce1fae16778d95c5043c0cdbea7670491e9344
doxygen: make it possible to focus the already-shown search input.

For example when going back. Until now I had to use the mouse.
doxygen/search.js