1ec00dedd1
Release 0.3.0a1
5 years ago
16d2a1ad9f
Merge pull request #131 from jtpio/logo
...
Update logo
5 years ago
b5450033ad
Add retrolab toolbar icon
5 years ago
91867df4ba
Add --retro-logo flag to the README
5 years ago
7e0244162b
Cli --retro-logo to enable the retro inline logo
5 years ago
bd983920ee
Center logo in the readme
5 years ago
95bd7b26dc
Update logo
...
Co-authored-by: Wolf Vollprecht <w.vollprecht@gmail.com>
5 years ago
4826d8d28b
Release 0.3.0a0
5 years ago
a47da616ab
Update to the `3.1.0-alpha.x` upstream packages ( #127 )
...
* Update packages
* Update Binder
* Add collaborative
* Update to alpha packages
* Integrity
* Add labextension to prettierignore
* Update jest config
* Move file browser lab plugins to a separate file
* Cleanup tree extension
* Fix file editor factory in the edit view
* Integrity
* Fix plugin name
5 years ago
4d2e31493f
Release 0.2.0
5 years ago
7c5917e41c
Release 0.2.0rc2
5 years ago
b732b5b596
Revert "Change back signature of shell.currentWidget" ( #124 )
...
This reverts commit 5e5b54baa4
5 years ago
da6df982d6
Release 0.2.0rc1
5 years ago
3e518dc863
Update Binder url to point to the new gist ( #123 )
5 years ago
d1d3e031c7
Rename App to RetroApp ( #122 )
...
* Rename App to RetroApp
* Rename in notebook extension
* More renaming
5 years ago
69d145a070
Release 0.2.0rc0
5 years ago
2047e3a5e4
Rename to `RetroLab` ( #121 )
...
* Rename text to RetroLab
* More renaming
* More renaming
* Rename files
* Update deps
* Update logo
* Lint
* Update README.md
* Minor CSS fix
* Update tour
* Update screencasts in README.md
5 years ago
278233d653
Merge pull request #117 from jtpio/watch-mode
...
Add watch mode
5 years ago
e941a2ad2b
Add watch mode
5 years ago
15f2ef0a5d
Release 0.1.10
5 years ago
3cd1de3c34
Merge pull request #116 from jtpio/mimerender
...
Mime Extensions
5 years ago
577eb392fc
Integrity
5 years ago
f8b0d2f24a
Mime extensions
5 years ago
92e77a821f
Add support for mimeextensions
5 years ago
7d81a01fe2
Release 0.1.9
5 years ago
d31291fed9
Merge pull request #114 from jtpio/new-terminal-plugin
...
Move the "New Terminal" button to its own plugin
5 years ago
57246ca445
Minor code style thing
5 years ago
43f54c70de
Move the "New Terminal" button to its own plugin
5 years ago
be6136053b
Release 0.1.8
5 years ago
afd7c6a135
Merge pull request #111 from jtpio/ensure-repo
...
Add small integrity script to ensure resolutions
5 years ago
52928ce2fc
Remove documentsearch package
5 years ago
98d2e067f5
Run integrity on release postbump
5 years ago
e8de612953
Add back missing singletons
5 years ago
b5c93c8a2d
Add small integrity script to ensure resolutions
5 years ago
d6b870ad5b
Merge pull request #109 from jtpio/app-options
...
Fixed the App instantiation options
5 years ago
75a4c861e4
Fixed the App instantiation options
5 years ago
991da2023b
Merge pull request #106 from jtpio/resolutions
...
Switch to an explicit list of resolutions for packages
5 years ago
10cc4e24e3
Add @jupyterlab/celltags to singleton packages
5 years ago
45fcae6592
Clean static folder
5 years ago
037803e062
Merge pull request #108 from jtpio/currentchanged-todos
...
Remove currentChanged signal TODOs
5 years ago
1d38b5f5c2
Remove currentChanged signal TODOs
5 years ago
80059f1e04
Merge pull request #107 from jtpio/binder-pr
...
Add action to comment with a Binder link on PRs
5 years ago
932bed4af7
Add action to comment with a Binder link on PRs
5 years ago
5004ba6fa6
Switch to an explicit list of resolutions
5 years ago
290c242910
Release 0.1.7
5 years ago
78b572a136
Open a notebook via the command line ( #98 )
...
* Open a notebook via the command line
* Assign default_url to self.serverapp
* Update to latest jupyter server to open via the cli
* Add redirect handler to open non notebook files
5 years ago
027f8f515f
Merge pull request #105 from jtpio/dev-binder
...
Update main Binder to remove rc conda channels
5 years ago
5a760c09ca
Update main Binder to remove rc channels
5 years ago
4e32baa08c
Release 0.1.6
5 years ago
3a84cbea43
Merge pull request #101 from jtpio/current-widget
...
Change back signature of shell.currentWidget
5 years ago
Jeremy Tuloup