chiark / gitweb /
documentation: re-render symbol count if search box gets shown again.
authorVladimír Vondruš <mosra@centrum.cz>
Thu, 18 Jul 2019 11:18:12 +0000 (13:18 +0200)
committerVladimír Vondruš <mosra@centrum.cz>
Thu, 18 Jul 2019 15:41:49 +0000 (17:41 +0200)
commit908a6a8b380174f20c1fd970058b90677d9e3529
treecb0e2816b73ac8348e7ed7aa413dddc791ed88aa
parent63e8d474e84de6be95ed9b2fe8ee7da348eeff49
documentation: re-render symbol count if search box gets shown again.

The (stale) count of found symbols was preserved there even though the
search box got emptied again. Also deduplicated the code a bit.
documentation/search.js
documentation/test/test-search.js