chiark / gitweb /
documentation: trim spaces from the right only if nothing is found.
authorVladimír Vondruš <mosra@centrum.cz>
Thu, 18 Jul 2019 15:24:50 +0000 (17:24 +0200)
committerVladimír Vondruš <mosra@centrum.cz>
Thu, 18 Jul 2019 15:48:56 +0000 (17:48 +0200)
commit20e1743f2dfa1696fafd0907f44385e0266845a5
tree61dd001200a820ecb0b4b2d40fe7001241aa0176
parent2379e72534f54177fca8b9390434939c6d76b9d3
documentation: trim spaces from the right only if nothing is found.

With unconditional trimming it was not possible to narrow down results
for page titles containing spaces (or subpages, which are separated by
double right arrow surrounded by spaces).
documentation/search.js
documentation/test/js-test-data/searchdata.b85
documentation/test/js-test-data/searchdata.bin
documentation/test/populate-js-test-data.py
documentation/test/test-search.js