chiark / gitweb /
documentation: reuse the saved searched string instead of creating it again.
authorVladimír Vondruš <mosra@centrum.cz>
Thu, 18 Jul 2019 15:23:54 +0000 (17:23 +0200)
committerVladimír Vondruš <mosra@centrum.cz>
Thu, 18 Jul 2019 15:48:56 +0000 (17:48 +0200)
commit2379e72534f54177fca8b9390434939c6d76b9d3
treedc6b165df344c4b80c67c3ce6814280d36a78f4a
parentb34a20c25531702663fa9e41ed3678159f4160f8
documentation: reuse the saved searched string instead of creating it again.

This avoids duplicating the trimming/decoding logic.
documentation/search.js