|
fonts
|
Improve fonts and colors
|
2020-09-05 10:47:38 +02:00 |
|
levels
|
Rename levels to avoid numbers
|
2020-09-15 14:51:31 +02:00 |
|
scripts
|
Experimental TCP Server node
|
2020-09-15 09:42:06 +02:00 |
|
styles
|
Terminal style without standard focus
|
2020-09-15 12:50:01 +02:00 |
|
.gitignore
|
When exporting for Windows, bundle with PortableGit
|
2020-09-09 17:04:22 +02:00 |
|
arrow.gd
|
Add checkbox to hide trees and blobs
|
2020-09-14 16:03:01 +02:00 |
|
arrow.tscn
|
Clear button, show arrow target if there's no node, add some goals
|
2020-09-14 15:35:30 +02:00 |
|
export_presets.cfg
|
When exporting for Windows, bundle with PortableGit
|
2020-09-09 17:04:22 +02:00 |
|
game.gd
|
Restructuring of goal/start scripts
|
2020-09-15 12:36:22 +02:00 |
|
main.gd
|
Live-reload level list when clicking dropdown
|
2020-09-15 16:31:41 +02:00 |
|
main.tscn
|
Live-reload level list when clicking dropdown
|
2020-09-15 16:31:41 +02:00 |
|
Makefile
|
When exporting for Windows, bundle with PortableGit
|
2020-09-09 17:04:22 +02:00 |
|
node.gd
|
Add checkbox to hide trees and blobs
|
2020-09-14 16:03:01 +02:00 |
|
node.tscn
|
Fix caret position when using history
|
2020-09-03 18:10:09 +02:00 |
|
player.gd
|
Indent using tabs, which is Godot's default behavior
|
2020-08-24 16:49:39 +02:00 |
|
player.tscn
|
Basic project with export Makefile
|
2020-01-29 20:25:13 +01:00 |
|
project.godot
|
Introduce Shell class with a cd method and a run method
|
2020-09-08 16:08:40 +02:00 |
|
repository.gd
|
Add checkbox to hide trees and blobs
|
2020-09-14 16:03:01 +02:00 |
|
repository.tscn
|
Add checkbox to hide trees and blobs
|
2020-09-14 16:03:01 +02:00 |
|
shell.gd
|
Restructuring of goal/start scripts
|
2020-09-15 12:36:22 +02:00 |
|
tcp_server.gd
|
Restructuring of goal/start scripts
|
2020-09-15 12:36:22 +02:00 |
|
terminal.gd
|
Restructuring of goal/start scripts
|
2020-09-15 12:36:22 +02:00 |
|
terminal.tscn
|
Terminal style without standard focus
|
2020-09-15 12:50:01 +02:00 |
|
test.gd
|
Experimental TCP Server node
|
2020-09-15 09:42:06 +02:00 |
|
text_editor.gd
|
fake-editor sends filename now, so that we can write tag descriptions, for example
|
2020-09-13 18:40:44 +02:00 |
