external
leave : [>
`
button] obj
->
unit =
"ml_gtk_button_leave"