This repository has no description
0

Configure Feed

Select the types of activity you want to include in your feed.

workspace-manager: restore tabs for initial workspace on startup

+12
+12
tools/workspace-manager/firefox-extension/background.js
··· 447 447 448 448 // Mark init complete — workspace changes from now on will restore tabs 449 449 initialized = true; 450 + 451 + // Restore tabs for the initial workspace if it has saved tabs 452 + if (lastWorkspace) { 453 + const withFirefox = await getWorkspacesWithFirefox(); 454 + if (!withFirefox.has(lastWorkspace)) { 455 + const resp = await sendNative("get_tabs", { workspace: lastWorkspace }); 456 + const tabs = resp.tabs || []; 457 + if (tabs.length > 0) { 458 + await restoreWorkspace(lastWorkspace); 459 + } 460 + } 461 + } 450 462 } 451 463 452 464 init();