From 37b536c63706f06696c4564cc003b620ec4507cb Mon Sep 17 00:00:00 2001
From: Kris Maglione <maglione.k@gmail.com>
Date: Tue, 11 Jan 2011 20:58:40 -0500
Subject: [PATCH] Don't regenerate hints after following unique filtered hint,
 please.

---
 common/content/hints.js | 4 ++++
 common/content/modes.js | 3 +++
 2 files changed, 7 insertions(+)

diff --git a/common/content/hints.js b/common/content/hints.js
index 3f6ccdd3..39f9b5f6 100644
--- a/common/content/hints.js
+++ b/common/content/hints.js
@@ -550,6 +550,10 @@ var Hints = Module("hints", {
                 this.timeout(next, 50);
         }).call(this);
 
+        modes.pop();
+        if (timeout)
+            modes.push(modes.IGNORE, modes.HINTS);
+
         this.timeout(function () {
             if ((modes.extended & modes.HINTS) && !this._continue)
                 modes.pop();
diff --git a/common/content/modes.js b/common/content/modes.js
index 3eb3f711..6fe1b111 100644
--- a/common/content/modes.js
+++ b/common/content/modes.js
@@ -150,6 +150,9 @@ var Modes = Module("modes", {
             description: "Active when a prompt is open in the command line",
             input: true
         });
+        this.addMode("IGNORE", { hidden: true }, {
+            onEvent: function (event) false
+        });
 
         this.push(this.NORMAL, 0, {
             enter: function (stack, prev) {