Tue, 18 Nov 2025 13:40:15 +0100
update label first, before freeing the old value in ui_label_set (Motif)