15 commits

Author	SHA1	Message	Date
Luca Canali	9042005c8b	improved the name of language variables and moved the languages management script in the ButtonMenu	2022-08-17 20:19:42 +02:00
bleeptrack	7903a8d9f3	Sneaking survey into game before quitting	2021-01-28 11:59:26 +01:00
bleeptrack	4b8c57ccbe	survey button in level selection	2021-01-28 11:28:47 +01:00
blinry	cf10605bf4	game.notify() creates a popup	2020-12-22 15:38:43 +01:00
Sebastian Morr	006e4ba338	Start building a more graphical file browser	2020-10-23 13:07:16 +02:00
Sebastian Morr	f6ec691ece	Convert level dropdowns to OptionButtons	2020-09-28 19:02:12 +02:00
Sebastian Morr	c33d817551	Theme for Trees, remove [...] button	2020-09-28 18:25:44 +02:00
Sebastian Morr	9f657b012f	Show indented lines in the description as monospace	2020-09-22 10:54:37 +02:00
Sebastian Morr	eabf41a2d7	Repository is now a Control, and fix two regressions	2020-09-21 20:28:43 +02:00
Sebastian Morr	f28ec7a3a7	Round off more corners of UI elements :P	2020-09-21 19:28:39 +02:00
Sebastian Morr	004f8eaf85	Set default BoxContainer separation of 5 px	2020-09-21 19:03:56 +02:00
Sebastian Morr	0fdc6cd69c	Fix drag and drop ... For the input event to reach the nodes, all Controls need to set mouse_filter to "ignore" it seems?	2020-09-21 18:33:34 +02:00
Sebastian Morr	24f194872b	Add a theme resource, which applies fonts/styles to all Control elements	2020-09-21 17:00:00 +02:00
bleeptrack	d5ac67c4cc	Terminal style without standard focus	2020-09-15 12:50:01 +02:00
bleeptrack	4c79dd24a7	Next Level Button and Switch to Bash for Commands	2020-09-11 13:12:12 +02:00