Graphics.UI.Gtk.SourceView.SourceUndoManager

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

data SourceUndoManager

Instances

Eq SourceUndoManager

Ord SourceUndoManager

GObjectClass SourceUndoManager

SourceUndoManagerClass SourceUndoManager

class GObjectClass o => SourceUndoManagerClass o

Instances

SourceUndoManagerClass SourceUndoManager

Methods

sourceUndoManagerCanUndo

Arguments

:: SourceUndoManagerClass sum

=> sum

-> IO Bool

returns True if there are undo operations available, False otherwise

Get whether there are undo operations available.

sourceUndoManagerCanRedo

Arguments

:: SourceUndoManagerClass sum

=> sum

-> IO Bool

returns True if there are redo operations available, False otherwise

Get whether there are redo operations available.

sourceUndoManagerUndo :: SourceUndoManagerClass sum => sum -> IO ()

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.

sourceUndoManagerRedo :: SourceUndoManagerClass sum => sum -> IO ()

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.

sourceUndoManagerBeginNotUndoableAction :: SourceUndoManagerClass sum => sum -> IO ()

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.

sourceUndoManagerEndNotUndoableAction :: SourceUndoManagerClass sum => sum -> IO ()

Ends a not undoable action on the buffer.

Signals

sourceUndoManagerCanRedoChanged :: SourceUndoManagerClass sum => Signal sum (IO ())

Emitted when the ability to redo has changed.

sourceUndoManagerCanUndoChanged :: SourceUndoManagerClass sum => Signal sum (IO ())

Emitted when the ability to undo has changed.