From 84fc3a0a7d9f8671f03a6184f9283a1b71d0d3a0 Mon Sep 17 00:00:00 2001
From: Stefan Malzner <stefan@adlk.io>
Date: Mon, 3 Dec 2018 11:11:29 +0100
Subject: Open dev tools with --devtools cmd line flag

---
 src/index.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/index.js b/src/index.js
index 663f81cc9..37c553840 100644
--- a/src/index.js
+++ b/src/index.js
@@ -115,7 +115,7 @@ const createWindow = () => {
   mainWindow.loadURL(`file://${__dirname}/index.html`);
 
   // Open the DevTools.
-  if (isDevMode) {
+  if (isDevMode || process.argv.includes('--devtools')) {
     mainWindow.webContents.openDevTools();
   }
 
-- 
cgit v1.2.3-70-g09d2