()
| 62 | } |
| 63 | |
| 64 | export function detachGuest(): void { |
| 65 | console.info('[Guest Service] detach guest from workspace'); |
| 66 | sessionStatusBarItem.text = 'Guest R: (not attached)'; |
| 67 | sessionStatusBarItem.tooltip = 'Click to attach to host terminal'; |
| 68 | guestWorkspace = undefined; |
| 69 | rWorkspace?.refresh(); |
| 70 | } |
| 71 | |
| 72 | export function attachActiveGuest(): void { |
| 73 | if (config().get<boolean>('sessionWatcher', true)) { |