method set_label s =
      label <- s; on_label_change s