diff options
| -rw-r--r-- | ui/menu.js | 10 |
1 files changed, 3 insertions, 7 deletions
diff --git a/ui/menu.js b/ui/menu.js index 1ecc0ea8c..31263fbcf 100644 --- a/ui/menu.js +++ b/ui/menu.js @@ -251,14 +251,10 @@ return $.widget( "ui.menu", { if ( match.length ) { this.focus( event, match ); - if ( match.length > 0 ) { - this.previousFilter = character; - this.filterTimer = this._delay(function() { - delete this.previousFilter; - }, 1000 ); - } else { + this.previousFilter = character; + this.filterTimer = this._delay(function() { delete this.previousFilter; - } + }, 1000 ); } else { delete this.previousFilter; } |