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(); } });