lib/browser/GraphBrowser/Box.java
author kleing
Wed, 07 May 2003 16:38:55 +0200
changeset 13968 689868b99bde
child 13970 4aef7117817b
permissions -rw-r--r--
eliminated dependencies on AWT for batch mode

// replacement for java.awt.Dimension

package GraphBrowser;

public class Box {
  public int width;
  public int height;

  public Box(int w, int h) {
    this.width = w;
    this.height = h;
  }
}