1
0
mirror of https://github.com/gryf/pentadactyl-pm.git synced 2026-01-04 02:34:11 +01:00

comment out currently unused DOMTitleChanged event handler

This commit is contained in:
Doug Kearns
2007-08-31 06:54:29 +00:00
parent 0782dae1f4
commit dbf731e3f6

View File

@@ -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