commit d557925cd0e0826af8ad578b462942cbebc28564
author Simon Hunt <simon@onlab.us> Tue Oct 06 15:09:14 2015 -0700
committer Gerrit Code Review <gerrit@onlab.us> Tue Oct 06 23:24:18 2015 +0000
tree e9ca2bddf5007f893ffb24694707140ebb6cfe15
parent fe3308fa13df7d06ef4b7591ef9e4b23aaec093b

ONOS-2876 -- GUI - Setting friendly device names.

Change-Id: I3e84f473af4c26c9a5e8b5cf9598d1448c4be20c

web/gui/src/main/webapp/app/fw/util/keys.js

diff --git a/web/gui/src/main/webapp/app/fw/util/keys.js b/web/gui/src/main/webapp/app/fw/util/keys.js
index 10a4e9a..5ff4f7f 100644
--- a/web/gui/src/main/webapp/app/fw/util/keys.js
+++ b/web/gui/src/main/webapp/app/fw/util/keys.js
@@ -25,6 +25,7 @@
 
     // internal state
     var enabled = true,
+        globalEnabled = true,
         keyHandler = {
             globalKeys: {},
             maskedKeys: {},
@@ -116,6 +117,9 @@
     }
 
     function quickHelp(view, key, code, ev) {
+        if (!globalEnabled) {
+            return false;
+        }
         qhs.showQuickHelp(keyHandler);
         return true;
     }
@@ -126,6 +130,9 @@
     }
 
     function toggleTheme(view, key, code, ev) {
+        if (!globalEnabled) {
+            return false;
+        }
         ts.toggleTheme();
         return true;
     }
@@ -226,6 +233,9 @@
                 enableKeys: function (b) {
                     enabled = b;
                 },
+                enableGlobalKeys: function (b) {
+                    globalEnabled = b;
+                },
                 checkNotGlobal: checkNotGlobal
             };
     }]);