blinry
5ff4ca6c28
Try to fix web-shell when called from Godot
2023-09-08 15:23:48 +02:00
blinry
8362b9d9b2
Async everywhere...
2023-09-07 14:45:52 +02:00
blinry
19fcad2920
Halfway through making everything async...
2023-09-07 12:04:47 +02:00
blinry
ad8d8f50d1
Some output from the Linux VM!!
2023-09-07 11:43:51 +02:00
blinry
49a3f880fe
Try to attach the VM
2023-09-07 10:14:07 +02:00
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