@jupyterlab/application-extension
Advanced tools
Comparing version 4.0.0-alpha.18 to 4.0.0-alpha.19
{ | ||
"name": "@jupyterlab/application-extension", | ||
"version": "4.0.0-alpha.18", | ||
"version": "4.0.0-alpha.19", | ||
"description": "JupyterLab - Application Extension", | ||
@@ -40,16 +40,16 @@ "homepage": "https://github.com/jupyterlab/jupyterlab", | ||
"dependencies": { | ||
"@jupyterlab/application": "^4.0.0-alpha.18", | ||
"@jupyterlab/apputils": "^4.0.0-alpha.18", | ||
"@jupyterlab/coreutils": "^6.0.0-alpha.18", | ||
"@jupyterlab/property-inspector": "^4.0.0-alpha.18", | ||
"@jupyterlab/settingregistry": "^4.0.0-alpha.18", | ||
"@jupyterlab/statedb": "^4.0.0-alpha.18", | ||
"@jupyterlab/statusbar": "^4.0.0-alpha.18", | ||
"@jupyterlab/translation": "^4.0.0-alpha.18", | ||
"@jupyterlab/ui-components": "^4.0.0-alpha.33", | ||
"@lumino/algorithm": "^2.0.0-alpha.6", | ||
"@lumino/commands": "^2.0.0-alpha.6", | ||
"@lumino/coreutils": "^2.0.0-alpha.6", | ||
"@lumino/disposable": "^2.0.0-alpha.6", | ||
"@lumino/widgets": "^2.0.0-alpha.6", | ||
"@jupyterlab/application": "^4.0.0-alpha.19", | ||
"@jupyterlab/apputils": "^4.0.0-alpha.19", | ||
"@jupyterlab/coreutils": "^6.0.0-alpha.19", | ||
"@jupyterlab/property-inspector": "^4.0.0-alpha.19", | ||
"@jupyterlab/settingregistry": "^4.0.0-alpha.19", | ||
"@jupyterlab/statedb": "^4.0.0-alpha.19", | ||
"@jupyterlab/statusbar": "^4.0.0-alpha.19", | ||
"@jupyterlab/translation": "^4.0.0-alpha.19", | ||
"@jupyterlab/ui-components": "^4.0.0-alpha.34", | ||
"@lumino/algorithm": "^2.0.0-beta.0", | ||
"@lumino/commands": "^2.0.0-beta.1", | ||
"@lumino/coreutils": "^2.0.0-beta.0", | ||
"@lumino/disposable": "^2.0.0-beta.1", | ||
"@lumino/widgets": "^2.0.0-beta.1", | ||
"react": "^18.2.0" | ||
@@ -56,0 +56,0 @@ }, |
@@ -18,4 +18,4 @@ { | ||
"title": "Hidden mode of main panel widgets", | ||
"description": "The method for hiding widgets in the main dock panel. Using `scale` will increase performance on Firefox but don't use it with Chrome, Chromium or Edge.", | ||
"enum": ["display", "scale"], | ||
"description": "The method for hiding widgets in the main dock panel. Using `scale` will increase performance on Firefox but don't use it with Chrome, Chromium or Edge. Similar performance gains are seen with `contentVisibility` which is only available in Chromium-based browsers.", | ||
"enum": ["display", "scale", "contentVisibility"], | ||
"default": "display" | ||
@@ -25,3 +25,3 @@ }, | ||
"enum": ["", "single", "multiple"], | ||
"title": "Start mode: ``, `single`or `multiple`", | ||
"title": "Start mode: ``, `single` or `multiple`", | ||
"description": "The mode under which JupyterLab should start. If empty, the mode will be imposed by the URL", | ||
@@ -28,0 +28,0 @@ "default": "" |
101946