Hugo Locurcio 31b7f02a29 Remove ToolButton in favor of Button ... ToolButton has no redeeming differences with Button; it's just a Button with the Flat property enabled by default. Removing it avoids some confusion when creating GUIs. Existing ToolButtons will be converted to Buttons, but the Flat property won't be enabled automatically. This closes https://github.com/godotengine/godot-proposals/issues/1081.		2020-06-19 20:49:49 +02:00
..
classes	Remove ToolButton in favor of Button	2020-06-19 20:49:49 +02:00
tools	makerst: Print status messages to make the CI output clearer	2020-05-27 22:24:33 +02:00
translations	Correct misspellings of damped spring.	2020-06-04 18:07:24 +01:00
Doxyfile
Makefile