chiark / gitweb /
~cjwatson / blog.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d9daaf2) | patch
doxygen: if the URL already contains #search, hide scrollbar etc.
authorVladimír Vondruš <mosra@centrum.cz>
Tue, 1 Jan 2019 23:42:43 +0000 (00:42 +0100)
committerVladimír Vondruš <mosra@centrum.cz>
Wed, 2 Jan 2019 21:07:12 +0000 (22:07 +0100)
commit6585ecd8f582b4cbed91792e1f4f9c6a07efef79
tree1c246aa8713dabe3e9cc8068cc707626d1b59922tree | snapshot
parentd9daaf22b06c142971ea40addf1d8dd41003c15fcommit | diff
doxygen: if the URL already contains #search, hide scrollbar etc.

For consistent experience compared to loading the docs without #search
and then hitting Tab.
doxygen/search.js diff | blob | history
Colin Watson's blog