(i: number)
| 54 | }, |
| 55 | ]; |
| 56 | function getWorkspaceSwitchAccelerator(i: number): string { |
| 57 | if (i < 9) { |
| 58 | return unamePlatform == "darwin" ? `Command+Control+${i + 1}` : `Alt+Control+${i + 1}`; |
| 59 | } |
| 60 | } |
| 61 | if (workspaceList?.length) { |
| 62 | workspaceMenu.push( |
| 63 | { type: "separator" }, |