8624a27fd7
This is done via userChrome.css now, which is easier to maintain (not all crammed into one JSON line).
28 lines
1,019 B
JavaScript
28 lines
1,019 B
JavaScript
// Copyright 2020 Oliver Smith, Martijn Braam
|
|
// SPDX-License-Identifier: GPL-3.0-or-later
|
|
|
|
// Select a mobile user agent for firefox (same as tor browser on android)
|
|
pref('general.useragent.override', 'Mozilla/5.0 (Android 6.0; Mobile; rv:68.0) Gecko/20100101 Firefox/68.0');
|
|
|
|
// Enable android-style pinch-to-zoom
|
|
pref('dom.w3c.touch_events.enabled', true);
|
|
pref('apz.allow_zooming', true);
|
|
pref('apz.allow_double_tap_zooming', true);
|
|
|
|
// Disable search suggestions
|
|
pref('browser.search.suggest.enabled', false);
|
|
|
|
// Empty new tab page: faster, less distractions
|
|
pref('browser.newtabpage.enabled', false);
|
|
|
|
// Allow UI customizations with userChrome.css and userContent.css
|
|
pref('toolkit.legacyUserProfileCustomizations.stylesheets', true);
|
|
|
|
// Select the entire URL with one click
|
|
pref('browser.urlbar.clickSelectsAll', true);
|
|
|
|
// Disable cosmetic animations, save CPU
|
|
pref('toolkit.cosmeticAnimations.enabled', false);
|
|
|
|
// Disable download animations, save CPU
|
|
pref('browser.download.animateNotifications', false);
|