Buffer.undoManager

gtksource.undo_manager.UndoManager undoManager() @property nothrow

No documentation available for this declaration.

void undoManager(gtksource.undo_manager.UndoManager propval) @property nothrow

No documentation available for this declaration.