Frama-C:
Plug-ins:
Libraries:

Frama-C API - custom_undo_manager

method begin_not_undoable_action : unit -> unit
method can_redo : bool
method can_redo_changed : unit -> unit
method can_undo : bool
method can_undo_changed : unit -> unit
method end_not_undoable_action : unit -> unit
method redo : unit -> unit
method undo : unit -> unit