diff options
| -rw-r--r-- | fuzzyMode.js | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/fuzzyMode.js b/fuzzyMode.js index 5588c281..f4ad082c 100644 --- a/fuzzyMode.js +++ b/fuzzyMode.js @@ -80,6 +80,12 @@ var fuzzyMode = (function() { } } + // refresh with F5 + else if (keyChar == 'f5') { + this.completer.refresh(); + this.update(); + } + // use primary action with Enter. Holding down Shift/Ctrl uses the alternative action // (opening in new tab) else if (event.keyCode == keyCodes.enter) { |