method
set_label s =
label <- s; on_label_change s