Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
PS method now calculates layout using default font metrics.
authorberghofe
Tue, 16 Oct 2001 19:54:24 +0200
changeset 11811 38721b2c6f57
parent 11810 4768258b29a5
child 11812 8d191eaf7fc4
PS method now calculates layout using default font metrics.
lib/browser/GraphBrowser/GraphView.java file | annotate | diff | comparison | revisions 
--- 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) {
isabelle