--- libjgraph-java/trunk/doc/api/org/jgraph/graph/DefaultRealEditor.html 2007/08/03 13:03:46 815 +++ libjgraph-java/trunk/doc/api/org/jgraph/graph/DefaultRealEditor.html 2007/08/03 13:14:15 816 @@ -2,9 +2,9 @@ - + -DefaultRealEditor (JGraph v5.10.1.3 API Specification) +DefaultRealEditor (JGraph v5.10.1.4 API Specification) @@ -14,7 +14,7 @@ @@ -44,7 +44,7 @@ -

JGraph
v5.10.1.3

+

JGraph
v5.10.1.4

@@ -344,7 +344,7 @@ -

JGraph
v5.10.1.3

+

JGraph
v5.10.1.4