chiark / gitweb /
~cjwatson / blog.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1a10e17) | patch
doxygen: prevent search result being selected before the mouse moves.
authorVladimír Vondruš <mosra@centrum.cz>
Tue, 1 Jan 2019 21:15:48 +0000 (22:15 +0100)
committerVladimír Vondruš <mosra@centrum.cz>
Wed, 2 Jan 2019 21:07:11 +0000 (22:07 +0100)
commit10f49c62c9fcbe794dadcac9a68533a23508918b
treeac73c6de6a4c714f615b742c895d4589722dbff6tree | snapshot
parent1a10e178fbf4d370ba1ae3026e5492c757cfef2ecommit | diff
doxygen: prevent search result being selected before the mouse moves.

Without this, the search was quite unusable with just the keyboard.
doxygen/search.js diff | blob | history
Colin Watson's blog