Skip to content
This repository has been archived by the owner on Feb 16, 2023. It is now read-only.

Expose the file editor plugin to all pages #227

Merged
merged 2 commits into from
Sep 21, 2021
Merged

Conversation

jtpio
Copy link
Member

@jtpio jtpio commented Sep 20, 2021

Fixes #226

image

@jtpio jtpio added the enhancement New feature or request label Sep 20, 2021
@jtpio jtpio added this to the 0.3.0 milestone Sep 20, 2021
@github-actions
Copy link
Contributor

Binder 👈 Launch RetroLab on Binder

@jtpio jtpio marked this pull request as ready for review September 21, 2021 17:28
@jtpio jtpio modified the milestones: 0.3.0, 0.3.x Sep 21, 2021
@jtpio jtpio merged commit 486ed96 into jupyterlab:main Sep 21, 2021
@jtpio jtpio deleted the new-plugins branch September 21, 2021 19:34
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
enhancement New feature or request
Projects
None yet
Development

Successfully merging this pull request may close these issues.

File->New menu doesn't show File nor Terminal
1 participant