Frama-C API - source_undo_manager_signals
method after : < after : 'a ; can_redo_changed : callback:(unit -> unit) -> GtkSignal.id ; can_undo_changed : callback:(unit -> unit) -> GtkSignal.id.. > as 'a
method can_redo_changed : callback:(unit -> unit) -> GtkSignal.id
method can_undo_changed : callback:(unit -> unit) -> GtkSignal.id