code editor responsiveness and various fixes (#129)

2026-08-05 13:57:07 -07:00 · 2024-07-25 12:00:35 -07:00
parent 0e46b79c22
commit 96420ea3ef
6 changed files with 116 additions and 62 deletions
@@ -612,6 +612,32 @@ function makeAppMenu() {
            role: "quit",
        },
    ];
+    const viewMenu: Electron.MenuItemConstructorOptions[] = [
+        {
+            role: "forceReload",
+        },
+        {
+            role: "toggleDevTools",
+        },
+        {
+            type: "separator",
+        },
+        {
+            role: "resetZoom",
+        },
+        {
+            role: "zoomIn",
+        },
+        {
+            role: "zoomOut",
+        },
+        {
+            type: "separator",
+        },
+        {
+            role: "togglefullscreen",
+        },
+    ];
    const menuTemplate: Electron.MenuItemConstructorOptions[] = [
        {
            role: "appMenu",
@@ -626,6 +652,7 @@ function makeAppMenu() {
        },
        {
            role: "viewMenu",
+            submenu: viewMenu,
        },
        {
            role: "windowMenu",