78 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Jeremy Tuloup	be90da20f1	Merge pull request #34 from jtpio/mobile ... Hide checkpoints on small screens	2020-12-10 21:46:33 +01:00
Jeremy Tuloup	0db7fbe301	Add ellipsis for long file names	2020-12-10 21:41:17 +01:00
Jeremy Tuloup	3f5d6c52f7	Hide checkpoints on small screens	2020-12-10 21:34:21 +01:00
Jeremy Tuloup	105cc38c84	Fix README.md linting	2020-12-10 16:41:48 +01:00
Jeremy Tuloup	5c869ecf9c	Mention preview state in the readme	2020-12-10 16:35:16 +01:00
Jeremy Tuloup	6ac789ec32	Merge pull request #29 from jtpio/rc13 ... Update to rc13	2020-12-10 01:22:56 +01:00
Jeremy Tuloup	ee3f707922	Pin tornado on binder for now	2020-12-10 01:11:38 +01:00
Jeremy Tuloup	9bb290d1a9	Update to rc13	2020-12-10 00:47:58 +01:00
Jeremy Tuloup	d60b380629	Add jupyterlab-python-file (federated) to Binder	2020-12-10 00:02:12 +01:00
Jeremy Tuloup	dad7d28de7	Add xeus-python to Binder	2020-12-09 23:39:36 +01:00
Jeremy Tuloup	cbcea2047d	Merge pull request #26 from jtpio/ensure-static ... Ensure static	2020-12-09 23:21:13 +01:00
Jeremy Tuloup	895df0ab5e	Fix build commands in setup.py	2020-12-09 23:13:28 +01:00
Jeremy Tuloup	f111d973aa	Build all packages	2020-12-09 23:07:36 +01:00
Jeremy Tuloup	a25da139f4	Ensure static	2020-12-09 22:56:09 +01:00
Jeremy Tuloup	0b4ddce87d	set -euo pipefail on Binder	2020-12-09 22:02:21 +01:00
Jeremy Tuloup	5fa5466697	Merge pull request #23 from jtpio/terminals ... Add Terminals	2020-12-09 21:38:17 +01:00
Jeremy Tuloup	4ee271073f	Dispose terminal widget after redirected	2020-12-09 21:25:57 +01:00
Jeremy Tuloup	93331d4488	Open terminals in a new tab	2020-12-09 21:20:17 +01:00
Jeremy Tuloup	ffbaab1e23	Support for opening new terminals via the URL	2020-12-09 20:55:49 +01:00
Jeremy Tuloup	ab0ee41a86	Add terminal-extension	2020-12-09 20:13:57 +01:00
Jeremy Tuloup	5b11b785f3	Merge pull request #22 from jtpio/editor ... Add the Edit page for non notebook files	2020-12-09 17:10:43 +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	dfa1cb2461	Update to _noref	2020-12-09 14:55:50 +01:00
Jeremy Tuloup	c3638b850b	Merge pull request #20 from jtpio/wording-tweak ... Wording tweak	2020-12-09 12:29:08 +01:00
Jeremy Tuloup	4b74003462	Wording tweak	2020-12-09 12:21:28 +01:00
Jeremy Tuloup	b659326bd0	Merge pull request #18 from jtpio/tree-tabpanel ... Combine running and file browser on tree	2020-12-09 12:09:02 +01:00
Jeremy Tuloup	c3c4867bf6	Move to tree-extension	2020-12-09 11:22:46 +01:00
Jeremy Tuloup	167fe67141	Remove running page and handler	2020-12-09 11:10:40 +01:00
Jeremy Tuloup	3ba40defd9	CSS tweaks and cleanup	2020-12-09 10:52:16 +01:00
Jeremy Tuloup	c01e82a98c	Tabs movable	2020-12-09 01:42:17 +01:00
Jeremy Tuloup	0d83598eeb	Combine the running and file browsers on tree	2020-12-09 00:59:45 +01:00
Jeremy Tuloup	803170eec4	Merge pull request #17 from jtpio/running ... Add a running page	2020-12-08 22:52:29 +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	0fcce28d16	Add a running page	2020-12-08 22:05:28 +01:00
Jeremy Tuloup	bdf3497387	Merge pull request #13 from jtpio/tree ... Add the tree page	2020-12-08 21:09:31 +01:00
Jeremy Tuloup	c92f07dd09	Fix typo	2020-12-08 21:04:35 +01:00
Jeremy Tuloup	0d6fa76ef9	Update README.md	2020-12-08 20:50:57 +01:00
Jeremy Tuloup	f0a237a180	Patch docManager.open to better open in new tab	2020-12-08 20:45:06 +01:00
Jeremy Tuloup	ead4af0b01	Close widget if it cannot be added to the shell	2020-12-08 19:37:49 +01:00
Jeremy Tuloup	595b1e2183	Open notebooks in a new browser tab	2020-12-08 19:05:17 +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	95b39d037e	Add a tree page with the filebrowser	2020-12-08 16:46:37 +01:00
Jeremy Tuloup	cdc11d709b	Merge pull request #12 from jtpio/tooltip ... Add the tooltip extension	2020-12-08 01:07:16 +01:00
Jeremy Tuloup	8ae20e3609	Add the tooltip extension	2020-12-08 01:02:48 +01:00
Jeremy Tuloup	915de2e6fa	Merge pull request #11 from jtpio/completer ... Add the completer extension	2020-12-08 00:14:33 +01:00
Jeremy Tuloup	d9fca8992d	Add the completer extension	2020-12-08 00:08:03 +01:00
Jeremy Tuloup	fa4246e564	Update example notebook	2020-12-07 20:09:27 +01:00