From 9bae0303719636014fae9820d380e63ad5c0b953 Mon Sep 17 00:00:00 2001
From: Evan Simkowitz <esimkowitz@users.noreply.github.com>
Date: Mon, 9 Dec 2024 18:32:18 -0800
Subject: [PATCH] Remove workspace oid from menu (#1449)

Now that new workspace has this already in the name, it looks weird to
have it added after


![image](https://github.com/user-attachments/assets/405d2111-25e5-4ef4-a467-fae6acb55e11)
---
 emain/menu.ts | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/emain/menu.ts b/emain/menu.ts
index 528f2b440..0d73d1d41 100644
--- a/emain/menu.ts
+++ b/emain/menu.ts
@@ -63,7 +63,7 @@ async function getWorkspaceMenu(ww?: WaveBrowserWindow): Promise<Electron.MenuIt
             { type: "separator" },
             ...workspaceList.map<Electron.MenuItemConstructorOptions>((workspace, i) => {
                 return {
-                    label: `Switch to ${workspace.workspacedata.name} (${workspace.workspacedata.oid.slice(0, 5)})`,
+                    label: `Switch to ${workspace.workspacedata.name}`,
                     click: (_, window) => {
                         ((window as WaveBrowserWindow) ?? ww)?.switchWorkspace(workspace.workspacedata.oid);
                     },