7 commits

Author	SHA1	Message	Date
Sebastian Morr	8198921b1a	Fix sandbox mode by connecting the terminal's signal	2020-10-01 10:07:43 +02:00
Sebastian Morr	065ca2a233	Allow having an arbitrary number of repos in a level	2020-09-30 21:36:11 +02:00
Sebastian Morr	3270bb64d0	Fix a problem where the global_shell was in a non-existing directory	2020-09-29 18:36:24 +02:00
Sebastian Morr	6e8a310a7a	Allow path of repository to be editable when property is on	2020-09-29 17:20:24 +02:00
Sebastian Morr	0a3e97167c	Close completions after running a command	2020-09-27 21:50:14 +02:00
Sebastian Morr	ff590165d5	Fix a few problems for the "git replace" demo, scale up sandbox UI	2020-09-22 21:56:22 +02:00
Sebastian Morr	d69c832aba	Add sandbox scene, a zoomed in, simple version for making GIFs :D	2020-09-22 20:25:45 +02:00