Frama-C:
Plug-ins:
Libraries:

Frama-C API - source_undo_manager_signals

method after : source_undo_manager_signals as 'a
method can_redo_changed : callback:(unit -> unit) -> GtkSignal.id
method can_undo_changed : callback:(unit -> unit) -> GtkSignal.id