fix broken hotkeys

functions.js

@@ -129,11 +129,14 @@ function hotkey_handler(e) {
 		seq = seq + "" + keycode;
 	}
 
-	if (seq.match("807371717369")) {
+	if (document.getElementById("piggie")) {
-		seq = "";
+
-		localPiggieFunction(true);
+		if (seq.match("807371717369")) {
-	} else {
+			seq = "";
-		localPiggieFunction(false);
+			localPiggieFunction(true);
+		} else {
+			localPiggieFunction(false);
+		}
 	}
 	
 	if (typeof localHotkeyHandler != 'undefined') {