diff -r 20f8b5f0aea6 -r 6a1811ef3174 firefox-kde.patch --- a/firefox-kde.patch Tue Feb 21 21:10:03 2012 +0100 +++ b/firefox-kde.patch Thu Feb 23 11:18:26 2012 +0100 @@ -2,7 +2,7 @@ new file mode 100644 --- /dev/null +++ b/browser/base/content/browser-kde.xul -@@ -0,0 +1,1111 @@ +@@ -0,0 +1,1125 @@ +#filter substitution + +# -*- Mode: HTML -*- @@ -42,6 +42,7 @@ +# Patrick Walton +# David Dahl +# Frank Yan ++# Victor Porof +# +# Alternatively, the contents of this file may be used under the terms of +# either the GNU General Public License Version 2 or later (the "GPL"), or @@ -59,7 +60,8 @@ + + + -+ ++ ++ + + + @@ -284,7 +286,11 @@ + if (gContextMenu.shouldDisplay) + updateEditUIVisibility(); + return gContextMenu.shouldDisplay;" -+ onpopuphiding="if (event.target == this) { gContextMenu = null; updateEditUIVisibility(); }"> ++ onpopuphiding="if (event.target != this) ++ return; ++ gContextMenu.hiding(); ++ gContextMenu = null; ++ updateEditUIVisibility();"> +#include browser-context.inc + + @@ -517,8 +523,6 @@ + ontextentered="this.handleCommand(param);" + ontextreverted="return this.handleRevert();" + pageproxystate="invalid" -+ onsearchbegin="LocationBarHelpers._searchBegin();" -+ onsearchcomplete="LocationBarHelpers._searchComplete();" + onfocus="document.getElementById('identity-box').style.MozUserFocus= 'normal'" + onblur="setTimeout(function() document.getElementById('identity-box').style.MozUserFocus = '', 0);"> +