Class GUtil.add_ml_signals

method disconnect : GtkSignal.id -> unit
val mutable disconnectors : (GtkSignal.id -> bool) list