source_undo_manager_signals (frama-c.Frama_c_gui.GSourceView.source_undo_manager

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