Follow-up #1713: Restore workspace switching between different R sessions

Fred-Wu · Fred-Wu · commit ad2bcba55d1a · 2026-07-04T16:56:42.000+10:00
diff --git a/src/session.ts b/src/session.ts
@@ -1473,6 +1473,7 @@ export async function activateSession(session: Session): Promise<void> {
     info = session.info;
     sessionDir = session.sessionDir;
     workingDir = session.workingDir;
+    workspaceData = session.workspaceData;
 
     if (sessionStatusBarItem) {
         sessionStatusBarItem.text = `R ${rVer}: ${pid}`;
@@ -1481,6 +1482,7 @@ export async function activateSession(session: Session): Promise<void> {
     }
     await setContext('rSessionActive', true);
     rWorkspace?.refresh();
+    scheduleWorkspaceRefresh();
 }
 
 export function resetStatusBar(): void {

Original file line number	Diff line number	Diff line change
`@@ -1473,6 +1473,7 @@ export async function activateSession(session: Session): Promise<void> {`
`1473`	`1473`	`info = session.info;`
`1474`	`1474`	`sessionDir = session.sessionDir;`
`1475`	`1475`	`workingDir = session.workingDir;`
	`1476`	`+ workspaceData = session.workspaceData;`
`1476`	`1477`
`1477`	`1478`	`if (sessionStatusBarItem) {`
`1478`	`1479`	sessionStatusBarItem.text = `R ${rVer}: ${pid}`;
`@@ -1481,6 +1482,7 @@ export async function activateSession(session: Session): Promise<void> {`
`1481`	`1482`	`}`
`1482`	`1483`	`await setContext('rSessionActive', true);`
`1483`	`1484`	`rWorkspace?.refresh();`
	`1485`	`+ scheduleWorkspaceRefresh();`
`1484`	`1486`	`}`
`1485`	`1487`
`1486`	`1488`	`export function resetStatusBar(): void {`