From 3d43d8781e33ee34ce06edf53ee24e2d2d28b9cd Mon Sep 17 00:00:00 2001 From: Daniel Carl 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