-
Notifications
You must be signed in to change notification settings - Fork 2
/
GraphInfoPanel.tscn
96 lines (86 loc) · 2.1 KB
/
GraphInfoPanel.tscn
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
[gd_scene load_steps=3 format=2]
[ext_resource path="res://GraphInfoPanel.gd" type="Script" id=1]
[ext_resource path="res://whitebox.png" type="Texture" id=2]
[node name="InfoPanel" type="Panel"]
self_modulate = Color( 1, 1, 1, 0.666667 )
margin_left = 17.0
margin_top = 17.0
margin_right = 215.0
margin_bottom = 545.0
mouse_filter = 2
script = ExtResource( 1 )
__meta__ = {
"_edit_use_anchors_": false
}
[node name="Components" type="VBoxContainer" parent="."]
anchor_right = 1.0
anchor_bottom = 1.0
margin_left = 5.0
margin_top = 5.0
margin_right = -5.0
margin_bottom = -5.0
mouse_filter = 2
__meta__ = {
"_edit_use_anchors_": false
}
[node name="0" type="NinePatchRect" parent="Components"]
modulate = Color( 1, 0.298039, 0.298039, 1 )
margin_right = 188.0
margin_bottom = 95.0
rect_min_size = Vector2( 0, 95 )
texture = ExtResource( 2 )
draw_center = false
patch_margin_left = 3
patch_margin_top = 3
patch_margin_right = 3
patch_margin_bottom = 3
[node name="labels" type="VBoxContainer" parent="Components/0"]
anchor_right = 1.0
anchor_bottom = 1.0
margin_left = 5.0
margin_top = 5.0
margin_right = -5.0
margin_bottom = -5.0
mouse_filter = 2
__meta__ = {
"_edit_use_anchors_": false
}
[node name="wiener_index" type="Label" parent="Components/0/labels"]
margin_right = 178.0
margin_bottom = 14.0
text = "ttttt: 000000"
__meta__ = {
"_edit_use_anchors_": false
}
[node name="radius" type="Label" parent="Components/0/labels"]
margin_top = 18.0
margin_right = 178.0
margin_bottom = 32.0
text = "ttttt: 000000"
__meta__ = {
"_edit_use_anchors_": false
}
[node name="diameter" type="Label" parent="Components/0/labels"]
margin_top = 36.0
margin_right = 178.0
margin_bottom = 50.0
text = "ttttt: 000000"
__meta__ = {
"_edit_use_anchors_": false
}
[node name="component_size" type="Label" parent="Components/0/labels"]
margin_top = 54.0
margin_right = 178.0
margin_bottom = 68.0
text = "ttttt: 000000"
__meta__ = {
"_edit_use_anchors_": false
}
[node name="edge_count" type="Label" parent="Components/0/labels"]
margin_top = 72.0
margin_right = 178.0
margin_bottom = 86.0
text = "ttttt: 000000"
__meta__ = {
"_edit_use_anchors_": false
}