Documentation of 'org.jgraph.graph.GraphUndoManager' Java class.
You cannot see the full API documentation of this class since the access to the DMelt documentation for third-party Java classes is denied.
Guests can only view jhplot Java API
To view the complete description of this class and its methods, please
request the DataMelt membership
If you are already a full member, please login to the DataMelt member area
visiting this documentation.