29 Commits (b4b6ff60de8ebefa7a1b6626aecb99958edee4e1)

Author SHA1 Message Date
Jeremy Tuloup 1974bad7f5 Remove extra `@jupyterlab/filebrowser-extension:download`
5 years ago
Jeremy Tuloup 8d92d7ff18
Merge pull request #263 from jtpio/fix-download
5 years ago
Jeremy Tuloup bed41c35b4 Fix missing download command
5 years ago
Jeremy Tuloup 1c302009f0 Fix handling of federated mime extensions
5 years ago
Jeremy Tuloup 6c1129ca90 factory is already registered in edit
5 years ago
Jeremy Tuloup 75ac4015ff Hoist the filebrowser factory plugin
5 years ago
Jeremy Tuloup 4251386949
Remove TODO
5 years ago
Jeremy Tuloup d2f5551cba
Fix handling of federated extensions
5 years ago
Jeremy Tuloup 76611ed264 Fix typo
5 years ago
Jeremy Tuloup e7b6a9145d Support disabling core retrolab extensions
5 years ago
Jeremy Tuloup 86ebc639bb Use the upstream translation extension
5 years ago
Jeremy Tuloup e614a39e01 Expose the file editor plugin to all pages
5 years ago
Frédéric Collonval 8ed6815832
Add expose add in browser for galata
5 years ago
Jeremy Tuloup 19942ed875 Add the "New Console for Notebook" context menu item
5 years ago
Jeremy Tuloup 3fe6d535c9 Add completer and tooltip to the consoles
5 years ago
Jeremy Tuloup f2a2a68b09 Initial support for code consoles
5 years ago
Jeremy Tuloup d03c833725 Add the docprovider extension to the build
5 years ago
Jeremy Tuloup ee4e266e17
Provide `IStateDB`
5 years ago
Jeremy Tuloup 75e1519276 Update to JupyterLab 3.1.0rc2
5 years ago
Jeremy Tuloup 7f643d6ae5 Add ILabStatus
5 years ago
Michael Barry 8c82a6217a Enable hub-extension
5 years ago
Jeremy Tuloup a47da616ab
Update to the `3.1.0-alpha.x` upstream packages (#127)
5 years ago
Jeremy Tuloup d1d3e031c7
Rename App to RetroApp (#122)
5 years ago
Jeremy Tuloup 2047e3a5e4
Rename to `RetroLab` (#121)
5 years ago
Jeremy Tuloup f8b0d2f24a Mime extensions
5 years ago
Jeremy Tuloup 57246ca445 Minor code style thing
5 years ago
Jeremy Tuloup 5004ba6fa6 Switch to an explicit list of resolutions
5 years ago
Jeremy Tuloup 50546f8af2 Handle disabled plugins
5 years ago
Jeremy Tuloup 35fe416c65 Rename builder to app
5 years ago