Upstream/waveterm
1
0
Fork 0
mirror of https://github.com/wavetermdev/waveterm.git synced 2025-01-31 23:11:28 +01:00
Code Issues Packages Projects Releases Wiki Activity

Fix tab name reload for pinned tabs (#1476)

Browse Source
This commit is contained in:
Evan Simkowitz 2024-12-10 15:47:26 -08:00 committed by GitHub
parent 1d74e56c26
commit 677ecc3ef8
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 9 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
frontend/wave.ts
View File

@ -109,21 +109,27 @@ async function reinitWave() {
}
function reloadAllWorkspaceTabs(ws: Workspace) {
if (ws == null || ws.tabids == null) {
if (ws == null || (!ws.tabids?.length && !ws.pinnedtabids?.length)) {
return;
}
ws.tabids.forEach((tabid) => {
ws?.tabids.forEach((tabid) => {
WOS.reloadWaveObject<Tab>(WOS.makeORef("tab", tabid));
});
ws?.pinnedtabids?.forEach((tabid) => {
WOS.reloadWaveObject<Tab>(WOS.makeORef("tab", tabid));
});
}
function loadAllWorkspaceTabs(ws: Workspace) {
if (ws == null || ws.tabids == null) {
if (ws == null || (!ws.tabids?.length && !ws.pinnedtabids?.length)) {
return;
}
ws.tabids.forEach((tabid) => {
WOS.getObjectValue<Tab>(WOS.makeORef("tab", tabid));
});
ws.pinnedtabids.forEach((tabid) => {
WOS.getObjectValue<Tab>(WOS.makeORef("tab", tabid));
});
}
async function initWave(initOpts: WaveInitOpts) {