Buffer.undoManager
gtksource.undo_manager.UndoManager undoManager() @propertyNo documentation available for this declaration.
void undoManager(gtksource.undo_manager.UndoManager propval) @propertyNo documentation available for this declaration.
gtksource.undo_manager.UndoManager undoManager() @propertyvoid undoManager(gtksource.undo_manager.UndoManager propval) @property