method deactivate_button =
    if activated then self#obj >>> Button_click.clear () else ()