From c969567c24307217ee3e20fde4243edca3ca6540 Mon Sep 17 00:00:00 2001
From: Jeremy Maitin-Shepard <jeremy@jeremyms.com>
Date: Mon, 29 Dec 2008 17:38:20 -0500
Subject: [PATCH] hints.js: fixed bug in auto-exit timer handling

---
 modules/hints.js | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/modules/hints.js b/modules/hints.js
index 2d430fe..cc06f51 100644
--- a/modules/hints.js
+++ b/modules/hints.js
@@ -394,18 +394,20 @@ hints_minibuffer_state.prototype = {
                                             this.focused_frame, this.focused_element);
         }
         this.manager.update_valid_hints();
+        this.window = window;
         if (this.url_panel)
             this.url_panel.update();
     },
     clear_auto_exit_timer : function () {
-        if (this.auto_exit_timer_ID) {
-            this.manager.window.clearTimeout(this.auto_exit_timer_ID);
+        if (this.auto_exit_timer_ID != null) {
+            this.window.clearTimeout(this.auto_exit_timer_ID);
             this.auto_exit_timer_ID = null;
         }
     },
     unload : function (window) {
         this.clear_auto_exit_timer();
         this.manager.hide_hints();
+        delete this.window;
     },
     destroy : function () {
         this.clear_auto_exit_timer();
-- 
2.11.4.GIT