PS method now calculates layout using default font metrics.
authorberghofe
Tue Oct 16 19:54:24 2001 +0200 (2001-10-16)
changeset 1181138721b2c6f57
parent 11810 4768258b29a5
child 11812 8d191eaf7fc4
PS method now calculates layout using default font metrics.
lib/browser/GraphBrowser/GraphView.java
     1.1 --- a/lib/browser/GraphBrowser/GraphView.java	Tue Oct 16 19:53:12 2001 +0200
     1.2 +++ b/lib/browser/GraphBrowser/GraphView.java	Tue Oct 16 19:54:24 2001 +0200
     1.3 @@ -2,7 +2,7 @@
     1.4    Title:      GraphBrowser/GraphView.java
     1.5    ID:         $Id$
     1.6    Author:     Stefan Berghofer, TU Muenchen
     1.7 -  Copyright   1997  TU Muenchen
     1.8 +  License:    GPL (GNU GENERAL PUBLIC LICENSE)
     1.9  
    1.10    This class defines the window in which the graph is displayed. It
    1.11    contains methods for handling events such as collapsing / uncollapsing
    1.12 @@ -50,7 +50,9 @@
    1.13  	}
    1.14  
    1.15  	public void PS(String fname,boolean printable) throws IOException {
    1.16 -		gra.PS(fname,printable);
    1.17 +	    Graph gra3 = (Graph)gra.clone();
    1.18 +	    gra3.layout(null);
    1.19 +	    gra3.PS(fname,printable);
    1.20  	}
    1.21  
    1.22  	public void paint(Graphics g) {