You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
This repository has been archived by the owner on Feb 8, 2019. It is now read-only.
Hi there.
Thanks for the great job with this extension.
I've been using Jupyter Lab Workspaces to manage/switch between projects and it works perfectly. However, there is no visual nor fast way to see/switch/rename/delete/clone workspaces.
I would like to humbly suggest a "workspace management" feature to the status bar, as it is very handy and is always on the screen.
Thanks
The text was updated successfully, but these errors were encountered:
Hi there.
Thanks for the great job with this extension.
I've been using Jupyter Lab Workspaces to manage/switch between projects and it works perfectly. However, there is no visual nor fast way to see/switch/rename/delete/clone workspaces.
I would like to humbly suggest a "workspace management" feature to the status bar, as it is very handy and is always on the screen.
Thanks
The text was updated successfully, but these errors were encountered: