fix broken hotkeys

diff --git a/functions.js b/functions.js
index e71e748e952fbd30c6235790a4f574701ef038d3..d7dcd08f4519848adac726b9fc1d718a1a64df3a 100644 (file)
--- a/functions.js
+++ b/functions.js
@@ -129,11 +129,14 @@ function hotkey_handler(e) {
                seq = seq + "" + keycode;
        }
 
-       if (seq.match("807371717369")) {
-               seq = "";
-               localPiggieFunction(true);
-       } else {
-               localPiggieFunction(false);
+       if (document.getElementById("piggie")) {
+
+               if (seq.match("807371717369")) {
+                       seq = "";
+                       localPiggieFunction(true);
+               } else {
+                       localPiggieFunction(false);
+               }
        }
        
        if (typeof localHotkeyHandler != 'undefined') {