Добавил настройки Binder (использование workspaces)

This commit is contained in:
Sergey Lemeshevsky
2020-02-19 15:51:37 +03:00
parent d53224ecea
commit e5480e926d
5 changed files with 513 additions and 241 deletions

1
binder/workspace.json Normal file
View File

@@ -0,0 +1 @@
{"data":{"layout-restorer:data":{"main":{"dock":{"type":"tab-area","currentIndex":2,"widgets":["notebook:arithmetic.ipynb","notebook:datatype.ipynb","setting-editor:setting-editor"]},"mode":"multiple-document","current":"setting-editor:setting-editor"},"left":{"collapsed":false,"current":"command-palette","widgets":["filebrowser","running-sessions","command-palette","tab-manager","extensionmanager.main-view"]},"right":{"collapsed":true,"widgets":[]}},"file-browser-filebrowser:cwd":{"path":""},"notebook:arithmetic.ipynb":{"data":{"path":"arithmetic.ipynb","factory":"Notebook"}},"notebook:datatype.ipynb":{"data":{"path":"datatype.ipynb","factory":"Notebook"}},"setting-editor:setting-editor":{"data":{}},"@jupyterlab/settingeditor-extension:plugin":{"sizes":[0.19017980636237897,0.809820193637621],"container":{"plugin":"@jupyterlab/notebook-extension:tracker","sizes":[0.5,0.5]}}},"metadata":{"id":"/lab"}}