From e80d684b392e4830ac26390618ecaaac74c2f295 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Robert=20S=C3=A6ther?= <robert@dekode.no>
Date: Wed, 25 Apr 2018 14:03:05 +0200
Subject: [PATCH] Added key bindings so that one can toggle the dev tools panel

---
 src/renderer.js | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)

diff --git a/src/renderer.js b/src/renderer.js
index fc96339..1ceaf24 100644
--- a/src/renderer.js
+++ b/src/renderer.js
@@ -10,4 +10,21 @@ module.exports = function ( context ) {
 	// Development Helpers
 	remote.getCurrentWindow().openDevTools()
 	window.reload = remote.getCurrentWebContents().reloadIgnoringCache
+
+	document.addEventListener( 'keypress', (event) => {
+
+		// Toggle dev tools
+		if ( event.ctrlKey && event.key == 'i' ) {
+			console.log( 'Toggle dev tools' );
+			remote.getCurrentWindow().toggleDevTools();
+		}
+
+		// Reload application
+		if ( event.ctrlKey && event.key == 'r' ) {
+			console.log( 'Reload application' );
+			window.reload = remote.getCurrentWebContents().reloadIgnoringCache;
+		}
+		
+	} );
+
 };