[bug]: Ship name edits do not sync to clients on other ships

[quaris628]

What version of Artemis Cosmos?

v1.2.x

What happened?

If client 1 on ship 1 updates their ship's name, then client 2 on ship 2 will have its list of ships keep displaying ship 1's old name (until something else refreshes client 2's ship list).

The same is NOT true for ship types; if client 1 edits ship 1's type then it syncs immediately on client 2's ship list.

(I'm mainly documenting this for brevity; this does not have any substantial negative impact, and I doubt it'd be worthwhile to try to fix.)

Other details what mission, setup, etc.

Vanilla legendary missions

[quaris628]

I thought this might be because clients only watch on change for their currently selected ship; however, the same is also true for the ship type id (art_id), and that doesn't suffer from the same issue. Maybe there's some code elsewhere that syncs the ship type but not the name for non-selected ships?

common_console_select.mast > == select_console ==

    on change ship_select_lb.get_value().art_id:
        ship_type = ship_select_lb.get_value().art_id
        gui_update("sh_ship_picker", ship_type)
        gui_update("sh_ship_list", None)
            
    on change ship_select_lb.get_value().name:
        ship_name = ship_select_lb.get_value().name
        _input.value = ship_name
        _display.value = ship_name
        gui_represent(ship_sec_not)
        gui_represent(ship_sec)
        gui_update("sh_ship_list", None)