From 7b5325c1be2bfa33603ec33b9648e2071ea2213c Mon Sep 17 00:00:00 2001 From: Jamie Greunbaum Date: Sun, 9 Jun 2024 15:33:38 -0400 Subject: [PATCH] Bug markers refresh when the "Bug Report Platform" project setting is changed during editing. --- bugbot.gd | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/bugbot.gd b/bugbot.gd index 9c219ef..f7688ab 100644 --- a/bugbot.gd +++ b/bugbot.gd @@ -174,6 +174,16 @@ func __on_editor_tab_switched(new_scene:Node) -> void: new_scene.add_child(__bugbot_marker_containers[new_scene.scene_file_path]) func __on_project_settings_changed() -> void: + # Check if the "Bug Report Platform" project setting was changed, and refresh markers as needed + if __editor_server_api and __editor_server_api._current_server_api() != BugbotServerAPI._create_new_server_api()._current_server_api(): + var refresh_bug_markers : bool = (__bugbot_marker_containers[__current_edited_scene_path] != null) + var marker_containers : Array = __bugbot_marker_containers.values() + for container:Node in marker_containers: + container.queue_free() + __bugbot_marker_containers.clear() + if refresh_bug_markers: __show_editor_bug_markers() + + # Refresh bug marker colours any time the settings are changed. Bugbot.adjust_bug_marker_colours()