diff options
author | RĂ©mi Verschelde <remi@verschelde.fr> | 2021-08-12 20:51:21 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-08-12 20:51:21 +0200 |
commit | 56ac302dc4bbb887c45157b3e377313378e376c1 (patch) | |
tree | 9ca4c63cc2674641b6eff09d99a8cd729bdf8bf5 /modules/mono | |
parent | 1a9c8aaba9214dbed40c2c58adce724e1b7b8276 (diff) | |
parent | 03e2544d50b73a56907694fc45cb82ad11c74a95 (diff) |
Merge pull request #51580 from aaronfranke/particles-real-double
Use real_t and double where appropriate in Particles
Diffstat (limited to 'modules/mono')
-rw-r--r-- | modules/mono/editor/GodotTools/GodotTools/Build/BuildOutputView.cs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/modules/mono/editor/GodotTools/GodotTools/Build/BuildOutputView.cs b/modules/mono/editor/GodotTools/GodotTools/Build/BuildOutputView.cs index c380707587..25e260beed 100644 --- a/modules/mono/editor/GodotTools/GodotTools/Build/BuildOutputView.cs +++ b/modules/mono/editor/GodotTools/GodotTools/Build/BuildOutputView.cs @@ -285,7 +285,7 @@ namespace GodotTools.Build break; } - buildLog.CursorSetLine(line); + buildLog.SetCaretLine(line); } public void RestartBuild() @@ -384,7 +384,7 @@ namespace GodotTools.Build buildLog = new TextEdit { - Readonly = true, + Editable = false, SizeFlagsVertical = (int)SizeFlags.ExpandFill, SizeFlagsHorizontal = (int)SizeFlags.ExpandFill // Avoid being squashed by the issues list }; |