github/SharpIDE
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

add problems title

Browse Source
This commit is contained in:
Matt Parker
2025-09-13 11:17:06 +10:00
parent d503282574
commit fec5029762
2 changed files with 20 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
src/SharpIDE.Godot/Features/Problems/ProblemsPanel.cs
View File

@@ -25,7 +25,7 @@ public partial class ProblemsPanel : Control
public override void _Ready() public override void _Ready()
{ {
_tree = GetNode<Tree>("ScrollContainer/Tree"); _tree = GetNode<Tree>("%Tree");
_rootItem = _tree.CreateItem(); _rootItem = _tree.CreateItem();
_rootItem.SetText(0, "Problems"); _rootItem.SetText(0, "Problems");
Observable.EveryValueChanged(this, manager => manager.Solution) Observable.EveryValueChanged(this, manager => manager.Solution)

21
src/SharpIDE.Godot/Features/Problems/ProblemsPanel.tscn
View File

@@ -19,15 +19,32 @@ WarningIcon = ExtResource("2_xj8le")
ErrorIcon = ExtResource("3_sap6e") ErrorIcon = ExtResource("3_sap6e")
CsprojIcon = ExtResource("4_wqdox") CsprojIcon = ExtResource("4_wqdox")
[node name="ScrollContainer" type="ScrollContainer" parent="."] [node name="VBoxContainer" type="VBoxContainer" parent="."]
layout_mode = 1 layout_mode = 1
anchors_preset = 15 anchors_preset = 15
anchor_right = 1.0 anchor_right = 1.0
anchor_bottom = 1.0 anchor_bottom = 1.0
grow_horizontal = 2 grow_horizontal = 2
grow_vertical = 2 grow_vertical = 2
theme_override_constants/separation = 0
[node name="Tree" type="Tree" parent="ScrollContainer"] [node name="MarginContainer" type="MarginContainer" parent="VBoxContainer"]
layout_mode = 2
theme_override_constants/margin_left = 5
theme_override_constants/margin_top = 5
theme_override_constants/margin_right = 5
theme_override_constants/margin_bottom = 5
[node name="Label" type="Label" parent="VBoxContainer/MarginContainer"]
layout_mode = 2
text = "Problems"
[node name="ScrollContainer" type="ScrollContainer" parent="VBoxContainer"]
layout_mode = 2
size_flags_vertical = 3
[node name="Tree" type="Tree" parent="VBoxContainer/ScrollContainer"]
unique_name_in_owner = true
layout_mode = 2 layout_mode = 2
size_flags_horizontal = 3 size_flags_horizontal = 3
size_flags_vertical = 3 size_flags_vertical = 3