Method touchSession

src/workspace-store.ts:34–34

(id: string)

  }): WorkspaceSession;
  getSession(id: string): WorkspaceSession | undefined;
  touchSession(id: string): void;
  close?(): void;
}