diff -r 449ace3f3f72 -r 50b18808abdc firefox-kde.patch --- a/firefox-kde.patch Tue Oct 28 21:52:00 2014 +0100 +++ b/firefox-kde.patch Tue Oct 28 21:56:35 2014 +0100 @@ -2,7 +2,7 @@ new file mode 100644 --- /dev/null +++ b/browser/base/content/browser-kde.xul -@@ -0,0 +1,1238 @@ +@@ -0,0 +1,1224 @@ +#filter substitution + +# -*- Mode: HTML -*- @@ -674,7 +674,7 @@ + aria-label="&navbarCmd.label;" + fullscreentoolbar="true" mode="icons" customizable="true" + iconsize="small" -+ defaultset="urlbar-container,search-container,bookmarks-menu-button,downloads-button,home-button,loop-call-button,social-share-button,social-toolbar-item" ++ defaultset="urlbar-container,search-container,bookmarks-menu-button,downloads-button,home-button,social-share-button,social-toolbar-item" + customizationtarget="nav-bar-customization-target" + overflowable="true" + overflowbutton="nav-bar-overflow-button" @@ -717,7 +717,7 @@ + ontextreverted="return this.handleRevert();" + pageproxystate="invalid" + onfocus="document.getElementById('identity-box').style.MozUserFocus= 'normal'" -+ onblur="setTimeout(function() document.getElementById('identity-box').style.MozUserFocus = '', 0);"> ++ onblur="setTimeout(() => { document.getElementById('identity-box').style.MozUserFocus = ''; }, 0);"> +