12 commits

Author	SHA1	Message	Date
bleeptrack	ba4e8ec26c	Upgrade to Godot 4.1	2023-09-06 16:04:23 +02:00
blinry	05b98d7a13	On Windows, use the faster BetterShell	2021-03-04 15:03:05 +01:00
blinry	53c249d059	Start working on a better shell mechanism for Windows ... It uses a Perl script to keep a bash session open, which attaches to a port the game keeps open. This avoids having to start a new Git bash for each command, improving the execution speed by a factor of 3-4.	2021-03-04 15:03:05 +01:00
blinry	5b590b8367	If someone tries to run an editor, use our fake-editor instead	2021-02-11 11:54:48 +01:00
blinry	e87e29a3ed	Extend the hint system to explain GUI elements	2021-01-19 12:48:16 +01:00
blinry	9a9541a858	Close all open editors when running a terminal command ... This is a first workaround for the problem that editors are sometimes out of date. The UI around these will probably continue to change significantly. Closes #7.	2020-11-10 22:52:48 +01:00
blinry	0e2cacabce	Make terminal not react to hotkeys, unless focused ... Closes #8.	2020-11-10 22:45:03 +01:00
blinry	a893cba9d3	When yielding after an async command, call the rest deferred ... This might help fix the crash bug?	2020-11-09 19:37:26 +01:00
blinry	3a3baa54fa	When the history contains an entry like "git ", don't crash	2020-11-02 15:39:12 +01:00
blinry	e220211140	Add run_async to shell, which should be more stable than the previous threading ... This might fix the "random crash" problem?	2020-11-02 14:35:34 +01:00
Sebastian Morr	cb7742466b	Make monster stand on nodes, other small fixes	2020-10-27 19:44:17 +01:00
Sebastian Morr	61304803bc	Move all .tscn and .gd files into scenes/ directory	2020-10-26 19:16:22 +01:00

Renamed from terminal.gd (Browse further)