From 4ee85af4f46e2152a5f0b4c9375a585d4d285d26 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ond=C5=99ej=20Hru=C5=A1ka?= <ondra@ondrovo.com>
Date: Mon, 18 Sep 2017 23:16:46 +0200
Subject: [PATCH] ctrl+f12 toggles debug mode

---
 js/term_input.js | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/js/term_input.js b/js/term_input.js
index bef567c..b1ae33a 100644
--- a/js/term_input.js
+++ b/js/term_input.js
@@ -219,6 +219,11 @@ module.exports = function (conn, screen) {
     // copy to clipboard
     'Control+Shift+C' () {
       screen.copySelectionToClipboard()
+    },
+
+    // toggle debug mode
+    'Control+F12' () {
+      screen.window.debug ^= 1
     }
     /* eslint-enable key-spacing */
   }