5 public class PostscriptProperties {
\r
7 public static final int PORTRAIT = 0;
\r
8 public static final int LANDSCAPE = 1;
\r
10 public static int SHORTSIDE = 612;
\r
11 public static int LONGSIDE = 792;
\r
13 static Vector fonts = new Vector();
\r
16 fonts.addElement("Helvetica");
\r
17 fonts.addElement("Times-Roman");
\r
18 fonts.addElement("Courier New");
\r
21 static Vector fontsizes = new Vector();
\r
24 fontsizes.addElement("6");
\r
25 fontsizes.addElement("8");
\r
26 fontsizes.addElement("10");
\r
27 fontsizes.addElement("12");
\r
28 fontsizes.addElement("14");
\r
29 fontsizes.addElement("16");
\r
32 public int orientation = PORTRAIT;
\r
33 public int width = SHORTSIDE;
\r
34 public int height = LONGSIDE;
\r
36 public int xoffset = 30;
\r
37 public int yoffset = 30;
\r
38 public int fsize = 8;
\r
39 public String font = "Helvetica";
\r
41 public PostscriptProperties() {}
\r
43 public PostscriptProperties(int or, int w, int h, int xoff, int yoff, int fsize, String font) {
\r
45 this.orientation = or;
\r
48 this.xoffset = xoff;
\r
49 this.yoffset = yoff;
\r
54 public int getOrientation() {
\r
57 public int getWidth() {
\r
60 public int getHeight() {
\r
63 public int getXOffset() {
\r
66 public int getYOffset() {
\r
69 public int getFSize() {
\r
72 public String getFont() {
\r