Upstream/waveterm
1
0
Fork 0
mirror of https://github.com/wavetermdev/waveterm.git synced 2024-12-21 16:38:23 +01:00
Code Issues Packages Projects Releases Wiki Activity

Remove workspace oid from menu (#1449)

Browse Source 
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)
This commit is contained in:
Evan Simkowitz 2024-12-09 18:32:18 -08:00 committed by GitHub
parent 24d808cddc
commit 9bae030371
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
emain/menu.ts
View File

@ -63,7 +63,7 @@ async function getWorkspaceMenu(ww?: WaveBrowserWindow): Promise<Electron.MenuIt
{ type: "separator" }, { type: "separator" },
...workspaceList.map<Electron.MenuItemConstructorOptions>((workspace, i) => { ...workspaceList.map<Electron.MenuItemConstructorOptions>((workspace, i) => {
return { return {
label: `Switch to ${workspace.workspacedata.name} (${workspace.workspacedata.oid.slice(0, 5)})`, label: `Switch to ${workspace.workspacedata.name}`,
click: (_, window) => { click: (_, window) => {
((window as WaveBrowserWindow) ?? ww)?.switchWorkspace(workspace.workspacedata.oid); ((window as WaveBrowserWindow) ?? ww)?.switchWorkspace(workspace.workspacedata.oid);
}, },