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	3270bb64d0	Fix a problem where the global_shell was in a non-existing directory	2020-09-29 18:36:24 +02:00
Sebastian Morr	473d7508c2	Handle --sandbox on its own (create blank repo) and --sandbox=.	2020-09-29 18:21:39 +02:00
Sebastian Morr	e439135ec9	When game is run with --sandbox, switch to sandbox	2020-09-29 17:52:31 +02:00
Sebastian Morr	fc562f2a2f	Export "simplified_view" in a repo. Prepare launching the sandbox in $PWD.	2020-09-23 12:05:43 +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