Frama-C:
Plug-ins:
Libraries:

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