Jeremy Tuloup
|
9bb290d1a9
|
Update to rc13
|
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
|
500f9919ff
|
Fix CSS import
|
5 years ago |
|
Jeremy Tuloup
|
fdc55393cb
|
Add Edit page
|
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
|
0d83598eeb
|
Combine the running and file browsers on tree
|
5 years ago |
|
Jeremy Tuloup
|
0fcce28d16
|
Add a running page
|
5 years ago |
|
Jeremy Tuloup
|
595b1e2183
|
Open notebooks in a new browser tab
|
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 |
|
Jeremy Tuloup
|
8ae20e3609
|
Add the tooltip extension
|
5 years ago |
|
Jeremy Tuloup
|
d9fca8992d
|
Add the completer extension
|
5 years ago |
|
Jeremy Tuloup
|
885833967c
|
Add command palette
|
5 years ago |
|
Jeremy Tuloup
|
1fefdea5f2
|
Add mathjax2 extension
|
5 years ago |
|
Jeremy Tuloup
|
066d9cb65f
|
Add TODO for formal plugin definition
|
5 years ago |
|
Jeremy Tuloup
|
ad8e72dc08
|
Add support for themes
|
5 years ago |
|
Jeremy Tuloup
|
797a1ae9d6
|
Reuse doc manager from lab
|
5 years ago |
|
Jeremy Tuloup
|
3c1b3325ce
|
Add shortcuts extension
|
5 years ago |
|
Jeremy Tuloup
|
ddcf687a78
|
Initial commit
|
5 years ago |
