From dbf731e3f69182e53809838d13d6a1c3efd55f28 Mon Sep 17 00:00:00 2001 From: Doug Kearns Date: Fri, 31 Aug 2007 06:54:29 +0000 Subject: [PATCH] comment out currently unused DOMTitleChanged event handler --- chrome/content/vimperator/events.js | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/chrome/content/vimperator/events.js b/chrome/content/vimperator/events.js index 7b095270..7a23fe11 100644 --- a/chrome/content/vimperator/events.js +++ b/chrome/content/vimperator/events.js @@ -110,10 +110,10 @@ function Events() //{{{ window.addEventListener("DOMMenuBarActive", enterMenuMode, true); window.addEventListener("DOMMenuBarInactive", exitMenuMode, true); - window.document.addEventListener("DOMTitleChanged", function(event) - { - //alert("titlechanged"); - }, null); + //window.document.addEventListener("DOMTitleChanged", function(event) + //{ + // //alert("titlechanged"); + //}, null); // NOTE: the order of ["Esc", "Escape"] or ["Escape", "Esc"] // matters, so use that string as the first item, that you