From a996519bd89cdd5cdead0dc2e22fad2af8e34a8a Mon Sep 17 00:00:00 2001
From: Zamitto <167933696+zamitto@users.noreply.github.com>
Date: Mon, 19 May 2025 07:28:55 -0300
Subject: [PATCH] feat: open dev tools for theme editor

---
 src/main/services/window-manager.ts | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/main/services/window-manager.ts b/src/main/services/window-manager.ts
index 2a07e3fe..3d84d6f3 100644
--- a/src/main/services/window-manager.ts
+++ b/src/main/services/window-manager.ts
@@ -469,9 +469,8 @@ export class WindowManager {
         }
       });
 
-      editorWindow.webContents.on("before-input-event", (event, input) => {
+      editorWindow.webContents.on("before-input-event", (_event, input) => {
         if (input.key === "F12") {
-          event.preventDefault();
           this.mainWindow?.webContents.toggleDevTools();
         }
       });