# HG changeset patch
# User berghofe
# Date 1003254864 -7200
# Node ID 38721b2c6f579503c141fc7c0ebfde42f8bee0ed
# Parent  4768258b29a59b807b2c1b138fc197063693078a
PS method now calculates layout using default font metrics.

diff -r 4768258b29a5 -r 38721b2c6f57 lib/browser/GraphBrowser/GraphView.java
--- a/lib/browser/GraphBrowser/GraphView.java	Tue Oct 16 19:53:12 2001 +0200
+++ b/lib/browser/GraphBrowser/GraphView.java	Tue Oct 16 19:54:24 2001 +0200
@@ -2,7 +2,7 @@
   Title:      GraphBrowser/GraphView.java
   ID:         $Id$
   Author:     Stefan Berghofer, TU Muenchen
-  Copyright   1997  TU Muenchen
+  License:    GPL (GNU GENERAL PUBLIC LICENSE)
 
   This class defines the window in which the graph is displayed. It
   contains methods for handling events such as collapsing / uncollapsing
@@ -50,7 +50,9 @@
 	}
 
 	public void PS(String fname,boolean printable) throws IOException {
-		gra.PS(fname,printable);
+	    Graph gra3 = (Graph)gra.clone();
+	    gra3.layout(null);
+	    gra3.PS(fname,printable);
 	}
 
 	public void paint(Graphics g) {