chiark / gitweb /
~cjwatson / blog.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 190dd20) | patch
doxygen: properly prefer shorter prefix.
authorVladimír Vondruš <mosra@centrum.cz>
Sat, 12 Jan 2019 15:16:48 +0000 (16:16 +0100)
committerVladimír Vondruš <mosra@centrum.cz>
Sat, 12 Jan 2019 15:16:48 +0000 (16:16 +0100)
commitebb839a35c99699c81190dd97f48ca2efb0e8500
treee7c1c2134ce593bfbe3836dd372ff6d16f3b61dbtree | snapshot
parent190dd2072e395b9d14ab995b9a30e54fc251f8d9commit | diff
doxygen: properly prefer shorter prefix.

The prefix_length is usually 0, since it's used for aliases, not
indicating the actual prefix length. So use the whole result length
instead.
doxygen/dox2html5.py diff | blob | history
doxygen/test/test_search.py diff | blob | history
Colin Watson's blog