chiark / gitweb /
doxygen: render the aliases in search better.
authorVladimír Vondruš <mosra@centrum.cz>
Sun, 11 Feb 2018 17:03:09 +0000 (18:03 +0100)
committerVladimír Vondruš <mosra@centrum.cz>
Sun, 11 Feb 2018 17:09:19 +0000 (18:09 +0100)
commit4cfc13dca4c690330f0f53e7c699faab8146e004
tree3fbfc16486aa98de387a1b9e5bce1ec5191b3edd
parent242ade30d6250885826f63e8ab11a508e94c01fd
doxygen: render the aliases in search better.

In particular it's more important what's the alias than what's the name
it points to.
css/m-dark+doxygen.compiled.css
css/m-dark.doxygen.compiled.css
css/m-doxygen.css
css/m-light+doxygen.compiled.css
css/m-light.doxygen.compiled.css
doxygen/search.js
doxygen/test/js-test-data/searchdata.b85
doxygen/test/js-test-data/searchdata.bin
doxygen/test/populate-js-test-data.py
doxygen/test/test-search.js