1
0

Update user.js

This commit is contained in:
earthlng 2017-04-19 14:22:31 +02:00 committed by GitHub
parent 49e2025bc5
commit c194e21d5c

View File

@ -1486,7 +1486,7 @@ user_pref("browser.tabs.loadDivertedInBackground", false);
/* 3022: hide recently bookmarked items (you still have the original bookmarks) (FF49+) ***/ /* 3022: hide recently bookmarked items (you still have the original bookmarks) (FF49+) ***/
user_pref("browser.bookmarks.showRecentlyBookmarked", false); user_pref("browser.bookmarks.showRecentlyBookmarked", false);
/* 3023: disable automigrate (FF49+) /* 3023: disable automigrate (FF49+)
* default is false in FF49+ and true in FF53+ * default is false in FF49+
* need more info, but lock down for now ***/ * need more info, but lock down for now ***/
user_pref("browser.migrate.automigrate.enabled", false); user_pref("browser.migrate.automigrate.enabled", false);
/* 3024: enable "Find As You Type" /* 3024: enable "Find As You Type"