mirror of
https://github.com/wavetermdev/waveterm.git
synced 2025-01-02 18:39:05 +01:00
cf578b1d89
Fixes a bug where if you deleted all but one character in the workspace name, you couldn't delete the final character. To fix this, I have made the workspace editor save a separate entry from the backend. The backend will also only update its DB value and notify the frontend if something was actually edited. If you delete all the characters in the name and don't put anything new in, though, the name will be whatever the last character you had was, since the name of a saved workspace cannot be empty. |
||
|---|---|---|
| .. | ||
| tab.scss | ||
| tab.tsx | ||
| tabbar.scss | ||
| tabbar.tsx | ||
| tabcontent.scss | ||
| tabcontent.tsx | ||
| updatebanner.scss | ||
| updatebanner.tsx | ||
| workspaceeditor.scss | ||
| workspaceeditor.tsx | ||
| workspaceswitcher.scss | ||
| workspaceswitcher.tsx | ||