From 677ecc3ef83590c8a50841f0919f0748d283c731 Mon Sep 17 00:00:00 2001 From: Evan Simkowitz Date: Tue, 10 Dec 2024 15:47:26 -0800 Subject: [PATCH] Fix tab name reload for pinned tabs (#1476) --- frontend/wave.ts | 12 +++++++++--- 1 file changed, 9 insertions(+), 3 deletions(-) diff --git a/frontend/wave.ts b/frontend/wave.ts index deca51ae7..4328c4fe2 100644 --- a/frontend/wave.ts +++ b/frontend/wave.ts @@ -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(WOS.makeORef("tab", tabid)); + }); + ws?.pinnedtabids?.forEach((tabid) => { WOS.reloadWaveObject(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(WOS.makeORef("tab", tabid)); }); + ws.pinnedtabids.forEach((tabid) => { + WOS.getObjectValue(WOS.makeORef("tab", tabid)); + }); } async function initWave(initOpts: WaveInitOpts) {