set_undo_manager

Description:

public void set_undo_manager (SourceUndoManager? manager)

Set the buffer undo manager.

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

this	a SourceBuffer.
manager	A SourceUndoManager or null .