|
fonts
|
Improve fonts and colors
|
2020-09-05 10:47:38 +02:00 |
|
levels
|
Two clarifications
|
2020-09-18 11:26:25 +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
|
Put everything into nested Control nodes
|
2020-09-21 15:25:54 +02:00 |
|
main.tscn
|
Put everything into nested Control nodes
|
2020-09-21 15:25:54 +02:00 |
|
Makefile
|
When exporting for Windows, bundle with PortableGit
|
2020-09-09 17:04:22 +02:00 |
|
node.gd
|
Don't mangle tab in tree content, don't die if win script prints errors
|
2020-09-15 22:34:22 +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
|
Mouse Zoom Essentials
|
2020-09-15 18:41:06 +02:00 |
|
repository.gd
|
Mention right-clicking
|
2020-09-18 11:15:09 +02:00 |
|
repository.tscn
|
Add a level sequence, show congrats after level, deal with empty puzzle dirs
|
2020-09-16 16:18:18 +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
|
Put everything into nested Control nodes
|
2020-09-21 15:25:54 +02:00 |
|
terminal.tscn
|
Mouse Zoom Essentials
|
2020-09-15 18:41:06 +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 |
