added dev tools

Author: JerryI

Components/FakeMenu.wlx

@@ -53,7 +53,9 @@ LayoutView = ExportString[{
     <|"label"->"Clear outputs", "name"->"clearoutputs", "a"->"Alt+u"|>,
     <|"type"->"separator"|>,
     <|"label"->"Zoom in", "name"->"zoomIn"|>,
-    <|"label"->"Zoom out", "name"->"zoomOut"|>
+    <|"label"->"Zoom out", "name"->"zoomOut"|>,
+    <|"type"->"separator"|>,
+    <|"label"->"Dev Tools", "name"->"devTools"|>
    }
 
   } // Flatten, "JSON"]

Electron/main.js

@@ -980,6 +980,10 @@ callFakeMenu["zoomIn"] = () => {
     windows.focused.call('zoomIn', true);
 }
 
+callFakeMenu["devTools"] = () => {
+    windows.focused.win.webContents.openDevTools()
+}
+
 callFakeMenu["zoomOut"] = () => {
     windows.focused.call('zoomOut', true);
 }