Rémi Verschelde bd4d57ede2 BaseButton: Rename pressed property to button_pressed ... This fixes a conflict with the `pressed` signal. The new name is temporary and only intended to solve the conflict for upcoming alpha builds. Discussions are still ongoing regarding the BaseButton API and how to rename and refactor more of its properties, signals and methods to have a clearer API in 4.0.		2022-01-23 22:15:09 +01:00
..
Build	BaseButton: Rename pressed property to button_pressed	2022-01-23 22:15:09 +01:00
Export	Some more C# formatting	2021-09-02 15:12:15 -05:00
Ides	Some more C# formatting	2021-09-02 15:12:15 -05:00
Internals	Add editor keyboard shortcut for Mono Build solution button	2021-09-14 13:13:00 +01:00
Utils	Some more C# formatting	2021-09-02 15:12:15 -05:00
CsProjOperations.cs	Add C# source generator for a new ScriptPath attribute	2021-03-06 21:50:32 +01:00
ExternalEditorId.cs	Mono: fix bad long casts and wrong underlying enum types in GodotTools	2020-06-24 09:35:13 -04:00
GodotSharpEditor.cs	BaseButton: Rename pressed property to button_pressed	2022-01-23 22:15:09 +01:00
GodotTools.csproj	Add a simple C# .editorconfig	2021-07-23 17:04:53 -04:00
HotReloadAssemblyWatcher.cs	Some more C# formatting	2021-09-02 15:12:15 -05:00
PlaySettings.cs	C#: Rewrite GodotTools messaging protocol	2020-05-09 21:49:40 +02:00