83 Commits (5d9fa085931dd89fee9b760a32d95f9a06ba8bc5)
 

Author SHA1 Message Date
Jeremy Tuloup 5d9fa08593
Merge pull request #36 from jtpio/about
5 years ago
Jeremy Tuloup 4fef524867 Align elements and move commands to view menu
5 years ago
Jeremy Tuloup 2b36ca8c11 About and keyboard shortcuts
5 years ago
Jeremy Tuloup 34003a7e5d
Merge pull request #35 from jtpio/lab-nb-tracker
5 years ago
Jeremy Tuloup 02fbb294ca Do not activate lab-extension if no notebook tracker
5 years ago
Jeremy Tuloup be90da20f1
Merge pull request #34 from jtpio/mobile
5 years ago
Jeremy Tuloup 0db7fbe301 Add ellipsis for long file names
5 years ago
Jeremy Tuloup 3f5d6c52f7 Hide checkpoints on small screens
5 years ago
Jeremy Tuloup 105cc38c84 Fix README.md linting
5 years ago
Jeremy Tuloup 5c869ecf9c
Mention preview state in the readme
5 years ago
Jeremy Tuloup 6ac789ec32
Merge pull request #29 from jtpio/rc13
5 years ago
Jeremy Tuloup ee3f707922
Pin tornado on binder for now
5 years ago
Jeremy Tuloup 9bb290d1a9 Update to rc13
5 years ago
Jeremy Tuloup d60b380629
Add jupyterlab-python-file (federated) to Binder
5 years ago
Jeremy Tuloup dad7d28de7
Add xeus-python to Binder
5 years ago
Jeremy Tuloup cbcea2047d
Merge pull request #26 from jtpio/ensure-static
5 years ago
Jeremy Tuloup 895df0ab5e Fix build commands in setup.py
5 years ago
Jeremy Tuloup f111d973aa Build all packages
5 years ago
Jeremy Tuloup a25da139f4 Ensure static
5 years ago
Jeremy Tuloup 0b4ddce87d
set -euo pipefail on Binder
5 years ago
Jeremy Tuloup 5fa5466697
Merge pull request #23 from jtpio/terminals
5 years ago
Jeremy Tuloup 4ee271073f Dispose terminal widget after redirected
5 years ago
Jeremy Tuloup 93331d4488 Open terminals in a new tab
5 years ago
Jeremy Tuloup ffbaab1e23 Support for opening new terminals via the URL
5 years ago
Jeremy Tuloup ab0ee41a86 Add terminal-extension
5 years ago
Jeremy Tuloup 5b11b785f3
Merge pull request #22 from jtpio/editor
5 years ago
Jeremy Tuloup 500f9919ff Fix CSS import
5 years ago
Jeremy Tuloup fdc55393cb Add Edit page
5 years ago
Jeremy Tuloup dfa1cb2461 Update to _noref
5 years ago
Jeremy Tuloup c3638b850b
Merge pull request #20 from jtpio/wording-tweak
5 years ago
Jeremy Tuloup 4b74003462 Wording tweak
5 years ago
Jeremy Tuloup b659326bd0
Merge pull request #18 from jtpio/tree-tabpanel
5 years ago
Jeremy Tuloup c3c4867bf6 Move to tree-extension
5 years ago
Jeremy Tuloup 167fe67141 Remove running page and handler
5 years ago
Jeremy Tuloup 3ba40defd9 CSS tweaks and cleanup
5 years ago
Jeremy Tuloup c01e82a98c Tabs movable
5 years ago
Jeremy Tuloup 0d83598eeb Combine the running and file browsers on tree
5 years ago
Jeremy Tuloup 803170eec4
Merge pull request #17 from jtpio/running
5 years ago
Jeremy Tuloup c4cc1613d1 Add a command to open JupyterLab
5 years ago
Jeremy Tuloup d1e0510777 Add commands to open tree and running
5 years ago
Jeremy Tuloup 0fcce28d16 Add a running page
5 years ago
Jeremy Tuloup bdf3497387
Merge pull request #13 from jtpio/tree
5 years ago
Jeremy Tuloup c92f07dd09
Fix typo
5 years ago
Jeremy Tuloup 0d6fa76ef9 Update README.md
5 years ago
Jeremy Tuloup f0a237a180 Patch docManager.open to better open in new tab
5 years ago
Jeremy Tuloup ead4af0b01 Close widget if it cannot be added to the shell
5 years ago
Jeremy Tuloup 595b1e2183 Open notebooks in a new browser tab
5 years ago
Jeremy Tuloup b9d0cdc5f7 Add link to the Jupyter logo
5 years ago
Jeremy Tuloup ebfeaf35c7 Move some plugins to the notebook extension
5 years ago
Jeremy Tuloup 95b39d037e Add a tree page with the filebrowser
5 years ago