From 3d43d8781e33ee34ce06edf53ee24e2d2d28b9cd Mon Sep 17 00:00:00 2001
From: Daniel Carl <danielcarl@gmx.de>
Date: Thu, 19 Dec 2013 19:41:06 +0100
Subject: [PATCH] Reset hints number filter on new text filtering (#53).
---
src/hints.js | 3 +++
1 file changed, 3 insertions(+)
diff --git a/src/hints.js b/src/hints.js
index 590163e..418e1d4 100644
--- a/src/hints.js
+++ b/src/hints.js
@@ -507,6 +507,9 @@ var VbHint = (function(){
return show();
},
filter: function filter(text) {
+ /* remove previously set number filters to make the filter */
+ /* easier to understand for the users */
+ filterNum = 0;
filterText = text || "";
return show();
},
--
2.20.1