mirror of
https://github.com/wavetermdev/waveterm.git
synced 2025-11-27 20:50:25 +08:00
4f6aa38363this fixes a rare case where a workspace tries to load a tab that doesn't exist. this allows the UI to load even despite that condition. in addition it fixes the "delete tab" path so, even if the tab doesn't exist, it will get cleaned up correctly out of the workspace. |
||
|---|---|---|
| .. | ||
| block.go | ||
| layout.go | ||
| wcore.go | ||
| window.go | ||
| workspace.go | ||