user.js

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

commit 073c630b243ae28316efe676b2adea8314a81c4d
parent d7bd0521c5c29aa264fad29d3cfe6ee77e96fd02
Author: Thorin-Oakenpants <Thorin-Oakenpants@users.noreply.github.com>
Date:   Thu, 16 Mar 2017 14:14:54 +1300

Merge pull request #56 from ghacksuserjs/earthlng-patch-1

ui.submenuDelay->150
Diffstat:
Muser.js | 2+-
1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/user.js b/user.js @@ -1418,7 +1418,7 @@ user_pref("browser.tabs.animate", false); user_pref("browser.fullscreen.animate", false); /* 3017: submenu in milliseconds. 0=instant while a small number allows * a mouse pass over menu items without any submenus alarmingly shooting out ***/ -user_pref("ui.submenuDelay", 75); // (hidden pref) +user_pref("ui.submenuDelay", 150); // (hidden pref) /* 3018: maximum number of daily bookmark backups to keep (default is 15) ***/ user_pref("browser.bookmarks.max_backups", 2); /* 3020: FYI: urlbar click behaviour (with defaults) ***/