Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Enable extension manager by default #8050

Merged

Conversation

echarles
Copy link
Contributor

@echarles echarles commented Mar 18, 2020

References

Further to the black and white listings #7989 and jupyterlab/jupyterlab_server#82 that brings more control on which extension can or can not be installed, it makes sense to enable by default the extension manager once the 2 referenced PRs are merged.

Code changes

The default value for enabled settings of the extensionmanager-extension schema is set to true instead of `false.

User-facing changes

The extension manager icon will be visible by default in the left bar.

Screenshot 2020-03-18 at 14 34 19

Backwards-incompatible changes

None.

@jupyterlab-dev-mode
Copy link

@jupyterlab-dev-mode jupyterlab-dev-mode bot commented Mar 18, 2020

Thanks for making a pull request to JupyterLab!

To try out this branch on binder, follow this link: Binder

@echarles
Copy link
Contributor Author

@echarles echarles commented Mar 28, 2020

@saulshanabrook Would be great that you review this.

@saulshanabrook saulshanabrook merged commit 72cce8a into jupyterlab:master Mar 29, 2020
17 of 22 checks passed
@lock lock bot added the status:resolved-locked label May 6, 2020
@lock lock bot locked as resolved and limited conversation to collaborators May 6, 2020
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
pkg:extensionmanager status:resolved-locked
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants