prevent accidental ctrl_key global

diff --git a/js/tt-rss.js b/js/tt-rss.js
index a1d7d6411afc79c971154decbc9fa20c570eef0b..c14c65f2797c939e8e09a12601131c151afbedfa 100644 (file)
--- a/js/tt-rss.js
+++ b/js/tt-rss.js
@@ -847,6 +847,7 @@ function hotkey_handler(e) {
 
                var keycode = false;
                var shift_key = false;
+               var ctrl_key = false;
 
                var cmdline = $('cmdline');