Documentation

Buffer.setUndoManager

gtksource buffer Buffer

Set the buffer undo manager. If manager is null the default undo manager will be set.

class Buffer
void
setUndoManager
(
gtksource.undo_manager.UndoManager manager = null
)

Parameters

manager gtksource.undo_manager.UndoManager

A #GtkSourceUndoManager or null.

gtksource buffer Buffer constructorsfunctionspropertiesstatic functions
Page generated by adrdox