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