chiark / gitweb /
~cjwatson / blog.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6585ecd) | patch
doxygen: hide the search by going back only when it makes sense.
authorVladimír Vondruš <mosra@centrum.cz>
Tue, 1 Jan 2019 23:59:18 +0000 (00:59 +0100)
committerVladimír Vondruš <mosra@centrum.cz>
Wed, 2 Jan 2019 21:07:30 +0000 (22:07 +0100)
commit44ce1fae16778d95c5043c0cdbea7670491e9344
treecf3097806bbc557ca82716f701642ac76da3d079tree | snapshot
parent6585ecd8f582b4cbed91792e1f4f9c6a07efef79commit | diff
doxygen: hide the search by going back only when it makes sense.

If we landed directly on an URL with #search, going back would mean the
browser is redirected back to the referrer page, the Speed Dial or
whatever. Do not want. In this case we simply replace the history state
without the #search hash -- there definitely wasn't any other hash we
could return to.
doxygen/search.js diff | blob | history
Colin Watson's blog