diff options
Diffstat (limited to 'prefs.js')
-rw-r--r-- | prefs.js | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -1754,7 +1754,8 @@ function pref_hotkey_handler(e) { if (keycode == 191 && shift_key) { // ? if (!Element.visible("hotkey_help_overlay")) { - Element.show("hotkey_help_overlay"); + //Element.show("hotkey_help_overlay"); + Effect.Appear("hotkey_help_overlay", {duration : 0.3}); } else { Element.hide("hotkey_help_overlay"); } |