@jupyterlab/pluginmanager-extension
Advanced tools
Comparing version 4.1.0-beta.0 to 4.1.0-beta.1
@@ -72,2 +72,3 @@ /* ----------------------------------------------------------------------------- | ||
content.title.icon = extensionIcon; | ||
content.title.caption = trans.__('Plugin Manager'); | ||
const main = new MainAreaWidget({ content, reveal: model.ready }); | ||
@@ -74,0 +75,0 @@ main.toolbar.addItem('refresh-plugins', new CommandToolbarButton({ |
{ | ||
"name": "@jupyterlab/pluginmanager-extension", | ||
"version": "4.1.0-beta.0", | ||
"version": "4.1.0-beta.1", | ||
"description": "Enable/disable plugins from user interface", | ||
@@ -38,7 +38,7 @@ "homepage": "https://github.com/jupyterlab/jupyterlab", | ||
"dependencies": { | ||
"@jupyterlab/application": "^4.1.0-beta.0", | ||
"@jupyterlab/apputils": "^4.2.0-beta.0", | ||
"@jupyterlab/pluginmanager": "^4.1.0-beta.0", | ||
"@jupyterlab/translation": "^4.1.0-beta.0", | ||
"@jupyterlab/ui-components": "^4.1.0-beta.0", | ||
"@jupyterlab/application": "^4.1.0-beta.1", | ||
"@jupyterlab/apputils": "^4.2.0-beta.1", | ||
"@jupyterlab/pluginmanager": "^4.1.0-beta.1", | ||
"@jupyterlab/translation": "^4.1.0-beta.1", | ||
"@jupyterlab/ui-components": "^4.1.0-beta.1", | ||
"@lumino/coreutils": "^2.1.2" | ||
@@ -45,0 +45,0 @@ }, |
@@ -100,2 +100,3 @@ /* ----------------------------------------------------------------------------- | ||
content.title.icon = extensionIcon; | ||
content.title.caption = trans.__('Plugin Manager'); | ||
const main = new MainAreaWidget({ content, reveal: model.ready }); | ||
@@ -102,0 +103,0 @@ |
Sorry, the diff of this file is not supported yet
17209
314