X-Git-Url: http://git.pld-linux.org/?p=packages%2Ffirefox.git;a=blobdiff_plain;f=firefox-prefs.patch;h=10f9e2620e734c0efe429b005bf1f054dd3bee25;hp=60115b680d42b97d6f1745d2898b2d423fb4a5c2;hb=544da27;hpb=a1cf73e9e2b35bd601d6554ff9c8700fcaae0ac7 diff --git a/firefox-prefs.patch b/firefox-prefs.patch index 60115b6..10f9e26 100644 --- a/firefox-prefs.patch +++ b/firefox-prefs.patch @@ -17,9 +17,9 @@ + pref("app.update.auto", false); #endif - // If set to true, the Update Service will present no UI for any event. + // If set to true, the Update Service will apply updates in the background @@ -227,7 +227,7 @@ - pref("browser.touchmode.auto", true); + pref("browser.compactmode.show", false); // At startup, check if we're the default browser and prompt user if not. -pref("browser.shell.checkDefaultBrowser", true); @@ -33,9 +33,9 @@ +pref("intl.locale.matchOS", true); + - // Scripts & Windows prefs - pref("dom.disable_open_during_load", true); - pref("javascript.options.showInConsole", true); + // Where new bookmarks go by default. + // Use PlacesUIUtils.defaultParentGuid to read this; do NOT read the pref + // directly. @@ -646,7 +648,7 @@ pref("mousewheel.with_control.action",3); pref("mousewheel.with_win.action", 1); @@ -54,5 +54,5 @@ -pref("layout.css.dpi", -1); +pref("layout.css.dpi", 0); - // Set the number of device pixels per CSS pixel. A value <= 0 means choose - // automatically based on user settings for the platform (e.g., "UI scale factor" + // pref for which side vertical scrollbars should be on + // 0 = end-side in UI direction