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
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
13968
689868b99bde eliminated dependencies on AWT for batch mode
kleing
parents:
diff changeset
     1
// replacement for java.awt.Dimension
689868b99bde eliminated dependencies on AWT for batch mode
kleing
parents:
diff changeset
     2
689868b99bde eliminated dependencies on AWT for batch mode
kleing
parents:
diff changeset
     3
package GraphBrowser;
689868b99bde eliminated dependencies on AWT for batch mode
kleing
parents:
diff changeset
     4
689868b99bde eliminated dependencies on AWT for batch mode
kleing
parents:
diff changeset
     5
public class Box {
689868b99bde eliminated dependencies on AWT for batch mode
kleing
parents:
diff changeset
     6
  public int width;
689868b99bde eliminated dependencies on AWT for batch mode
kleing
parents:
diff changeset
     7
  public int height;
689868b99bde eliminated dependencies on AWT for batch mode
kleing
parents:
diff changeset
     8
689868b99bde eliminated dependencies on AWT for batch mode
kleing
parents:
diff changeset
     9
  public Box(int w, int h) {
689868b99bde eliminated dependencies on AWT for batch mode
kleing
parents:
diff changeset
    10
    this.width = w;
689868b99bde eliminated dependencies on AWT for batch mode
kleing
parents:
diff changeset
    11
    this.height = h;
689868b99bde eliminated dependencies on AWT for batch mode
kleing
parents:
diff changeset
    12
  }
689868b99bde eliminated dependencies on AWT for batch mode
kleing
parents:
diff changeset
    13
}