| changeset 37738 | 7bf3ec9e7b0c |
| parent 33686 | 8e33ca8832b1 |
| child 50473 | ca4088bf8365 |
--- a/lib/browser/GraphBrowser/Region.java Wed Jul 07 09:26:54 2010 +0200 +++ b/lib/browser/GraphBrowser/Region.java Wed Jul 07 18:17:23 2010 +0200 @@ -79,7 +79,7 @@ public int spaceBetween(Region r2) { return ((Vertex)(r2.getVertices().nextElement())).leftX()- ((Vertex)(vertices.lastElement())).rightX()- - gra.box_hspace+gra.box_width; + 20; } public boolean touching(Region r2) {