summaryrefslogtreecommitdiff
path: root/prefs.js
diff options
context:
space:
mode:
Diffstat (limited to 'prefs.js')
-rw-r--r--prefs.js3
1 files changed, 2 insertions, 1 deletions
diff --git a/prefs.js b/prefs.js
index 58d83f052..6889b7a6b 100644
--- a/prefs.js
+++ b/prefs.js
@@ -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");
}