Commit Graph

75 Commits

Author SHA1 Message Date
Jeremy Tuloup
12c24d39e7 Make zen mode even more compact 2020-12-11 16:41:33 +01:00
Jeremy Tuloup
0c818c038e Make the layout more compact on mobile 2020-12-11 16:27:24 +01:00
Jeremy Tuloup
9bb290d1a9 Update to rc13 2020-12-10 00:47:58 +01:00
Jeremy Tuloup
ffbaab1e23 Support for opening new terminals via the URL 2020-12-09 20:55:49 +01:00
Jeremy Tuloup
500f9919ff Fix CSS import 2020-12-09 16:37:12 +01:00
Jeremy Tuloup
fdc55393cb Add Edit page 2020-12-09 16:31:21 +01:00
Jeremy Tuloup
4b74003462 Wording tweak 2020-12-09 12:21:28 +01:00
Jeremy Tuloup
167fe67141 Remove running page and handler 2020-12-09 11:10:40 +01:00
Jeremy Tuloup
c4cc1613d1 Add a command to open JupyterLab 2020-12-08 22:36:08 +01:00
Jeremy Tuloup
d1e0510777 Add commands to open tree and running 2020-12-08 22:24:08 +01:00
Jeremy Tuloup
f0a237a180 Patch docManager.open to better open in new tab 2020-12-08 20:45:06 +01:00
Jeremy Tuloup
b9d0cdc5f7 Add link to the Jupyter logo 2020-12-08 17:06:11 +01:00
Jeremy Tuloup
ebfeaf35c7 Move some plugins to the notebook extension 2020-12-08 16:59:57 +01:00
Jeremy Tuloup
374f497242 Add toolbar button to open in classic 2020-12-07 17:31:37 +01:00
Jeremy Tuloup
8f0e4d64e2 Dispose the Tabs menu 2020-12-07 17:31:36 +01:00
Jeremy Tuloup
8c639202a8 Add Zen Mode 2020-12-07 17:31:35 +01:00
Jeremy Tuloup
a3dffc430c Add wrapper widgets to look closer to classic 2020-12-07 17:31:34 +01:00
Jeremy Tuloup
0d0d6724af Fix removeClass 2020-12-07 17:31:34 +01:00
Jeremy Tuloup
3185922bb3 Toggle header visibility 2020-12-07 17:31:33 +01:00
Jeremy Tuloup
6646ce5def Add kernel status warn color 2020-12-07 17:31:33 +01:00
Jeremy Tuloup
cae48ed1af Add kernel status indicator 2020-12-07 17:31:33 +01:00
Jeremy Tuloup
b16b3e523d Add checkpoint indicator 2020-12-07 17:31:32 +01:00
Jeremy Tuloup
81291ac43a Handle kernel changes 2020-12-07 17:31:32 +01:00
Jeremy Tuloup
797a1ae9d6 Reuse doc manager from lab 2020-12-07 17:31:31 +01:00
Jeremy Tuloup
ddcf687a78 Initial commit 2020-12-04 15:15:41 +02:00