diff -r b0b3c507e253 -r 87f893cf45b9 firefox-kde.patch --- a/firefox-kde.patch Sat Jan 26 22:42:57 2019 +0100 +++ b/firefox-kde.patch Thu Jan 31 11:21:22 2019 +0100 @@ -1,11 +1,11 @@ # HG changeset patch -# Parent f2429084f187d5758508ae547c411943cba60fcf +# Parent 693f0baece29cc958a7d91b89fd12e3b89a502e3 diff --git a/browser/base/content/browser-kde.xul b/browser/base/content/browser-kde.xul new file mode 100644 --- /dev/null +++ b/browser/base/content/browser-kde.xul -@@ -0,0 +1,1384 @@ +@@ -0,0 +1,1395 @@ +#filter substitution + +# -*- Mode: HTML -*- @@ -81,6 +81,7 @@ + persist="screenX screenY width height sizemode" +#ifdef BROWSER_XHTML + hidden="true" ++ mozpersist="" +#endif + > + @@ -95,7 +96,22 @@ +#endif +> + Services.scriptloader.loadSubScript("chrome://global/content/contentAreaUtils.js", this); ++ Services.scriptloader.loadSubScript("chrome://browser/content/browser-captivePortal.js", this); ++ Services.scriptloader.loadSubScript("chrome://browser/content/browser-compacttheme.js", this); ++ Services.scriptloader.loadSubScript("chrome://browser/content/browser-contentblocking.js", this); ++#ifdef MOZ_DATA_REPORTING ++ Services.scriptloader.loadSubScript("chrome://browser/content/browser-data-submission-info-bar.js", this); ++#endif ++#ifndef MOZILLA_OFFICIAL ++ Services.scriptloader.loadSubScript("chrome://browser/content/browser-development-helpers.js", this); ++#endif ++ Services.scriptloader.loadSubScript("chrome://browser/content/browser-media.js", this); ++ Services.scriptloader.loadSubScript("chrome://browser/content/browser-pageActions.js", this); ++ Services.scriptloader.loadSubScript("chrome://browser/content/browser-plugins.js", this); ++ Services.scriptloader.loadSubScript("chrome://browser/content/browser-sidebar.js", this); ++ Services.scriptloader.loadSubScript("chrome://browser/content/browser-tabsintitlebar.js", this); + Services.scriptloader.loadSubScript("chrome://browser/content/tabbrowser.js", this); ++ Services.scriptloader.loadSubScript("chrome://browser/content/search/searchbar.js", this); + + window.onload = gBrowserInit.onLoad.bind(gBrowserInit); + window.onunload = gBrowserInit.onUnload.bind(gBrowserInit); @@ -152,6 +168,9 @@ + ++ + + @@ -262,13 +281,16 @@ + + + -+ + + ++ + + -+ ++ +