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)
src/hints.js

index 590163e..418e1d4 100644 (file)
@@ -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();
         },