tiny_appkits.appkit_document
Undo
tiny_appkits.appkit_astronomy
tiny_appkits.appkit_blocks
tiny_appkits.appkit_cad
tiny_appkits.appkit_diagram
tiny_appkits.appkit_draw
tiny_appkits.appkit_editor
tiny_appkits.appkit_indexed
tiny_appkits.appkit_modeler
tiny_appkits.appkit_money
tiny_appkits.appkit_nls
tiny_appkits.appkit_paint
tiny_appkits.appkit_pim
tiny_appkits.appkit_pushpull
tiny_appkits.appkit_richtext
tiny_appkits.appkit_sheet
tiny_appkits.appkit_sheet_view
tiny_appkits.appkit_sketch
tiny_appkits.appkit_slides
tiny_appkits.appkit_teletype
tiny_appkits.appkit_tui
tiny_appkits.appkit_typeset
tiny_appkits.browser_layout
type 'a t
val start : ?limit:int -> 'a -> 'a t
val now : 'a t -> 'a
val record : ?name:string -> 'a -> 'a t -> 'a t
val amend : 'a -> 'a t -> 'a t
val undo : 'a t -> 'a t
val redo : 'a t -> 'a t
val can_undo : 'a t -> bool
val can_redo : 'a t -> bool
val undo_name : 'a t -> string option
val redo_name : 'a t -> string option
val undos : 'a t -> int
val redos : 'a t -> int