From 0985f8346d09ead19c9d008b76b8de08a83712e9 Mon Sep 17 00:00:00 2001
From: Kris Maglione <maglione.k@gmail.com>
Date: Fri, 28 Dec 2012 22:59:43 -0800
Subject: [PATCH] Fix occasional hint echoerr.

---
 common/content/hints.js | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/common/content/hints.js b/common/content/hints.js
index a2934f5a..62740ccb 100644
--- a/common/content/hints.js
+++ b/common/content/hints.js
@@ -569,7 +569,9 @@ var HintSession = Class("HintSession", CommandMode, {
     /**
      * Display the hints in pageHints that are still valid.
      */
+    showCount: 0,
     show: function _show() {
+        let count = ++this.showCount;
         let hintnum = 1;
         let validHint = hints.hintMatcher(this.hintString.toLowerCase());
         let activeHint = this.hintNumber || 1;
@@ -581,6 +583,9 @@ var HintSession = Class("HintSession", CommandMode, {
 
         inner:
             for (let i in (util.interruptibleRange(start, end + 1, 500))) {
+                if (this.showCount != count)
+                    return;
+
                 let hint = this.pageHints[i];
 
                 hint.valid = validHint(hint.text);