Chapter 17. Advanced Event and Signal Handling

17.1. Signal Functions

17.1.1. Connecting and Disconnecting Signal Handlers

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];

17.1.2. Blocking and Unblocking Signal Handlers

[widget]#misc#handler_block [handler_id];
[widget]#misc#handler_unblock [handler_id];