Buffer.setUndoManager

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

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

Parameters

managerA #GtkSourceUndoManager or null.