user.js

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

commit 2c4b7761ee95c2b0fad2ec7e578b08cc82fc0971
parent 668c307ffb4f5555b318cab38a07301d8bf4d0e2
Author: earthlng <earthlng@users.noreply.github.com>
Date:   Sun, 12 Mar 2017 15:53:59 +0100

ui.submenuDelay

both @atomGit and myself are using 150
Diffstat:
Muser.js | 2+-
1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/user.js b/user.js @@ -1407,7 +1407,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) ***/