From 0eeb392a61c592d25eee7088006a1aa871d8f650 Mon Sep 17 00:00:00 2001 From: metamuffin Date: Thu, 17 Jul 2025 20:40:57 +0200 Subject: hide editor controls if unavailable; fix #349 --- client/menu/play.gd | 3 +++ 1 file changed, 3 insertions(+) (limited to 'client/menu') diff --git a/client/menu/play.gd b/client/menu/play.gd index bd52f5d1..05105ced 100644 --- a/client/menu/play.gd +++ b/client/menu/play.gd @@ -26,6 +26,8 @@ var url_regex: RegEx = RegEx.new() @onready var server_connect = $side/margin/options/second/server/connect @onready var editor_control = $side/margin/options/second/editor/control @onready var editor_connect = $side/margin/options/second/editor/connect +@onready var editor_container = $side/margin/options/second/editor + func _ready(): url_regex.compile("^(?:(ws|wss)://)?([^:]+)(?::([0-9]+))?$") @@ -174,6 +176,7 @@ func _process(_delta): editor_control.disabled = false editor_connect.visible = Editor.state == Service.State.RUNNING editor_control.modulate = Color.WHITE + editor_container.visible = Editor.state != Service.State.UNAVAILABLE match Editor.state: Service.State.RUNNING: editor_control.text = tr("c.menu.play.editor_stop") -- cgit v1.2.3-70-g09d2