gtksourceview3-0.13.3.0: Binding to the GtkSourceView library.

Maintainergtk2hs-users@lists.sourceforge.net
Stabilityprovisional
Portabilityportable (depends on GHC)
Safe HaskellNone
LanguageHaskell98

Graphics.UI.Gtk.SourceView.SourceUndoManager

Contents

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

Methods

sourceUndoManagerCanUndo Source #

Arguments

:: SourceUndoManagerClass sum 
=> sum 
-> IO Bool

returns True if there are undo operations available, False otherwise

Get whether there are undo operations available.

sourceUndoManagerCanRedo Source #

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 () 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.

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

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 () Source #

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 () Source #

Ends a not undoable action on the buffer.

Signals

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

Emitted when the ability to redo has changed.

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

Emitted when the ability to undo has changed.