From f5ef46cbcc8a427da06ebc8a03f1296a6c470b4a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Stephan=20Maih=C3=B6fer?= <stephan@undev.de>
Date: Thu, 8 Sep 2022 18:14:50 +0200
Subject: [PATCH] no dev tools

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

diff --git a/src/main.js b/src/main.js
index c86d243..1e32720 100644
--- a/src/main.js
+++ b/src/main.js
@@ -31,7 +31,7 @@ function createWindow() {
       contextIsolation: false,
     }
   });
-  mainWindow.webContents.openDevTools()
+  // mainWindow.webContents.openDevTools()
 
   mainWindow.on("move", () => {
     const pos = mainWindow.getPosition();