user.js

Unnamed repository; edit this file 'description' to name the repository.
Log | Files | Refs | README

commit c5a1a038d2dc1051ce4510faad54210234d83c17
parent cd322f39a4f0212d53fb935b6c31eb179f989d2c
Author: earthlng <earthlng@users.noreply.github.com>
Date:   Sat,  5 May 2018 14:40:20 +0200

5000: remove view_source.tab (moved to 9999)
Diffstat:
Muser.js | 1-
1 file changed, 0 insertions(+), 1 deletion(-)

diff --git a/user.js b/user.js @@ -1737,7 +1737,6 @@ user_pref("_user.js.parrot", "5000 syntax error: this is an ex-parrot!"); // user_pref("browser.tabs.loadBookmarksInTabs", true); // open bookmarks in a new tab (FF57+) // user_pref("browser.urlbar.decodeURLsOnCopy", true); // see Bugzilla 1320061 (FF53+) // user_pref("general.autoScroll", false); // middle-click enabling auto-scrolling [WINDOWS] [MAC] - // user_pref("view_source.tab", false); // open "page/selection source" in a new window // user_pref("ui.key.menuAccessKey", 0); // disable alt key toggling the menu bar [RESTART] /* OTHER ***/ // user_pref("browser.bookmarks.max_backups", 2);