chiark / gitweb /
~cjwatson / blog.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4cfc13d) | patch
doxygen: go back in history when closing search.
authorVladimír Vondruš <mosra@centrum.cz>
Sun, 11 Feb 2018 17:09:29 +0000 (18:09 +0100)
committerVladimír Vondruš <mosra@centrum.cz>
Sun, 11 Feb 2018 17:09:29 +0000 (18:09 +0100)
commit600a4f5e858841de04ce544528d59aeb333ce3e1
tree29dca659fcd2b9ae50157b3e2d83acda261c1a3etree | snapshot
parent4cfc13dca4c690330f0f53e7c699faab8146e004commit | diff
doxygen: go back in history when closing search.

Instead of polluting it even more. Makes back button and context
preservation behave much better now.
doxygen/search.js diff | blob | history
Colin Watson's blog