add fade-in to shortcut help overlay

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");
 				}