|
Graphics.UI.Gtk.SourceView.SourceUndoManager | Portability | portable (depends on GHC) | Stability | provisional | Maintainer | gtk2hs-users@lists.sourceforge.net |
|
|
|
|
|
Description |
|
|
Synopsis |
|
|
|
|
Description
|
|
The SourceUndoManager interface can be implemented to provide custom undo management to a
SourceBuffer. Use sourceBufferSetUndoManager to install a custom undo manager for a
particular source buffer.
Use sourceUndoManagerCanUndoChanged and sourceUndoManagerCanRedoChanged when
respectively the undo state or redo state of the undo stack has changed.
|
|
Types
|
|
|
Instances | |
|
|
|
| Instances | |
|
|
Methods
|
|
sourceUndoManagerCanUndo | Source |
|
|
|
sourceUndoManagerCanRedo | Source |
|
|
|
|
Perform a single undo. Calling this function when there are no undo operations available is an
error. Use gtkSourceUndoManagerCanUndo to find out if there are undo operations available.
|
|
|
Perform a single redo. Calling this function when there are no redo operations available is an
error. Use gtkSourceUndoManagerCanRedo to find out if there are redo operations available.
|
|
|
Begin a not undoable action on the buffer. All changes between this call and the call to
gtkSourceUndoManagerEndNotUndoableAction cannot be undone. This function should be
re-entrant.
|
|
|
Ends a not undoable action on the buffer.
|
|
Signals
|
|
|
Emitted when the ability to redo has changed.
|
|
|
Emitted when the ability to undo has changed.
|
|
Produced by Haddock version 2.6.1 |