minor UI tweaks

This commit is contained in:
Jaap Marsman 2022-11-26 08:20:25 +08:00
parent 2339560430
commit 49cb0230e3

View File

@ -89,7 +89,7 @@ anchor_top = 0.5
anchor_right = 0.5
anchor_bottom = 0.5
margin_left = -640.0
margin_top = -171.0
margin_top = -289.0
margin_right = 640.0
margin_bottom = 359.0
custom_styles/panel = SubResource( 1 )
@ -457,7 +457,7 @@ anchor_top = 0.5
anchor_right = 0.5
anchor_bottom = 0.5
margin_left = -640.0
margin_top = -171.0
margin_top = -289.0
margin_right = 640.0
margin_bottom = 359.0
custom_styles/panel = SubResource( 1 )
@ -534,12 +534,13 @@ text = "OK"
[node name="InstructionScreen" type="Panel" parent="StartScreen"]
unique_name_in_owner = true
visible = false
anchor_left = 0.5
anchor_top = 0.5
anchor_right = 0.5
anchor_bottom = 0.5
margin_left = -640.0
margin_top = -254.0
margin_top = -289.0
margin_right = 640.0
margin_bottom = 359.0
custom_styles/panel = SubResource( 1 )
@ -586,13 +587,12 @@ __meta__ = {
[node name="UpdatePanel" type="Panel" parent="StartScreen"]
unique_name_in_owner = true
visible = false
anchor_left = 0.5
anchor_top = 0.5
anchor_right = 0.5
anchor_bottom = 0.5
margin_left = -640.0
margin_top = -171.0
margin_top = -289.0
margin_right = 640.0
margin_bottom = 359.0
custom_styles/panel = SubResource( 1 )
@ -643,9 +643,9 @@ text = "Ignore Update"
[node name="UpdateIntro" type="Label" parent="StartScreen/UpdatePanel"]
unique_name_in_owner = true
margin_left = 33.0
margin_top = 107.0
margin_top = 120.0
margin_right = 1249.0
margin_bottom = 148.0
margin_bottom = 161.0
theme = ExtResource( 1 )
text = "You are currently using version XX. The latest version available is XX. Version changes are:"
autowrap = true
@ -918,8 +918,8 @@ script = ExtResource( 7 )
[node name="Panel" type="Panel" parent="ObservationWindow"]
anchor_right = 1.0
anchor_bottom = 1.0
margin_top = 188.0
margin_bottom = 1.0
margin_top = 71.0
margin_bottom = -1.0
theme = ExtResource( 1 )
custom_styles/panel = SubResource( 7 )
__meta__ = {
@ -1145,7 +1145,6 @@ script = ExtResource( 9 )
[node name="Panel" type="Panel" parent="Results"]
anchor_right = 1.0
anchor_bottom = 1.0
margin_top = -3.0
theme = ExtResource( 1 )
custom_styles/panel = SubResource( 8 )
__meta__ = {