Reset hints number filter on new text filtering (#53).
authorDaniel Carl <danielcarl@gmx.de>
Thu, 19 Dec 2013 18:41:06 +0000 (19:41 +0100)
committerDaniel Carl <danielcarl@gmx.de>
Thu, 19 Dec 2013 18:41:06 +0000 (19:41 +0100)
commit3d43d8781e33ee34ce06edf53ee24e2d2d28b9cd
treee7b2250473648516cbd5dd095fedd5c7e907be84
parentaa5653d111a45bf8eb8748221cf530e3b1c13c0f
Reset hints number filter on new text filtering (#53).
src/hints.js