diff options
| author | Mark H Weaver <mhw@netris.org> | 2019-11-20 16:30:41 -0500 |
|---|---|---|
| committer | Mark H Weaver <mhw@netris.org> | 2019-11-20 21:27:03 -0500 |
| commit | 11f5f267785cd0ebc3cf29ac18ea87508964b6b7 (patch) | |
| tree | 5883ee32e4c1e2c67da42731dc886fa07beaaae5 /data/settings.js | |
| parent | d73d9b31b9941a83a2843360d045b36958f50f38 (diff) | |
Remove some obsolete or redundant entries from settings.js.
* data/settings.js: Remove obsolete entries for making DuckDuckGo the
default search engine, which is now handled elsewhere. Remove the
redundant entries for "browser.search.suggest.enabled" and
"network.http.speculative-parallel-limit" and "media.gmp-manager.url".
Diffstat (limited to 'data/settings.js')
| -rw-r--r-- | data/settings.js | 22 |
1 files changed, 0 insertions, 22 deletions
diff --git a/data/settings.js b/data/settings.js index 7010eef..77f231e 100644 --- a/data/settings.js +++ b/data/settings.js @@ -3,17 +3,6 @@ pref ("distribution.about", "GNU IceCat"); pref ("distribution.id", "gnu"); pref ("distribution.version", "1.0"); -// I'm feeling Ducky. -pref("keyword.URL", "https://duckduckgo.com/?t=trisquel&q=!+"); -pref("browser.search.defaultenginename", "DuckDuckGo"); -pref("browser.search.order.1", "DuckDuckGo"); -pref("browser.search.defaultenginename", "DuckDuckGo"); -pref("browser.search.order.extra.duckduckgo", "DuckDuckGo"); -pref("browser.search.showOneOffButtons", false); -pref("browser.search.suggest.enabled",false); -// Disable preconnecting to search engine when clicking on the search bar -pref("network.http.speculative-parallel-limit", 0); - // Release notes and vendor URLs pref("app.releaseNotesURL", "https://savannah.gnu.org/news/?group=gnuzilla"); pref("app.vendorURL", "https://www.gnu.org/software/gnuzilla/"); @@ -267,17 +256,6 @@ pref("pfs.filehint.url", "http://gnuzilla.gnu.org/plugins/PluginFinderService.ph pref("geo.enabled", false); pref("geo.wifi.uri", ""); -// I'm feeling Ducky. -pref("keyword.URL", "https://duckduckgo.com/html?t=gnu&q=!+"); -pref("browser.search.defaultenginename", "DuckDuckGo"); -pref("browser.search.order.extra.duckduckgo", "DuckDuckGo"); -pref("browser.search.showOneOffButtons", false); -// US specific default (used as a fallback if the geoSpecificDefaults request fails). -pref("browser.search.defaultenginename.US", "data:text/plain,browser.search.defaultenginename.US=DuckDuckGo"); -pref("browser.search.order.US.1", "data:text/plain,browser.search.order.US.1=DuckDuckGo"); -pref("browser.search.order.US.2", "data:text/plain,browser.search.order.US.2=Google"); -pref("browser.search.order.US.3", "data:text/plain,browser.search.order.US.3=Yahoo"); - // Disable Gecko media plugins: https://wiki.mozilla.org/GeckoMediaPlugins pref("media.gmp-manager.url", "http://127.0.0.1/"); pref("media.gmp-manager.url.override", "data:text/plain,"); |