let handler_id = [widget]#connect#[signal name] ~callback:... in let handler_id = [widget]#event#connect#[event signal name] ~callback:... in let handler_id = [widget]#event#connect#after#[event signal name] ~callback:... in [widget]#misc#disconnect [handler_id];
[widget]#misc#handler_block [handler_id]; [widget]#misc#handler_unblock [handler_id];