Graphics.UI.Gtk.SourceView.SourceUndoManager
Description
Types
data
SourceUndoManager
class
SourceUndoManagerClass
o
Methods
sourceUndoManagerCanUndo
sourceUndoManagerCanRedo
sourceUndoManagerUndo
sourceUndoManagerRedo
sourceUndoManagerBeginNotUndoableAction
sourceUndoManagerEndNotUndoableAction
Signals
sourceUndoManagerCanRedoChanged
sourceUndoManagerCanUndoChanged