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.

Parameters:

this

a SourceBuffer.

manager

A SourceUndoManager or null.