From 726f1d7dbedc1e4e1f896d784ffaef567cc313b9 Mon Sep 17 00:00:00 2001 From: "mgalli%geckonnection.com" Date: Fri, 24 Feb 2006 21:29:33 +0000 Subject: [PATCH] Workaround to the Event problem. --- minimo/chrome/content/minimo.js | 2 +- minimo/chrome/content/minimo.xul | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/minimo/chrome/content/minimo.js b/minimo/chrome/content/minimo.js index 3f60a3d03dfa..4a3c74f03bc4 100755 --- a/minimo/chrome/content/minimo.js +++ b/minimo/chrome/content/minimo.js @@ -1320,7 +1320,7 @@ function MenuDisableEscapeKeys() { function MenuHandleMenuEscape(e) { /* This applies because our handlers would not work when Menu popups are active */ - if( gShowingMenuCurrent && (e.keyCode==e.DOM_VK_F11||e.keyCode==e.DOM_VK_F23) ) { + if( gShowingMenuCurrent && (e.keyCode==e.DOM_VK_F11||e.keyCode==e.DOM_VK_F24) ) { BrowserMenuSpin(); } } diff --git a/minimo/chrome/content/minimo.xul b/minimo/chrome/content/minimo.xul index 080621b4c154..7d25301addd3 100755 --- a/minimo/chrome/content/minimo.xul +++ b/minimo/chrome/content/minimo.xul @@ -86,10 +86,10 @@ Everytime you edit these keys, you may also consider to check/edit the key assignment on minimo.js/MenuHandleMenuEscape --> - + - +