src/jalview/io/PostscriptProperties.java

   1 package jalview.io;\r
   2 \r
   3 import java.util.*;\r
   4 \r
   5 public class PostscriptProperties {\r
   6 \r
   7   public static final int PORTRAIT = 0;\r
   8   public static final int LANDSCAPE = 1;\r
   9 \r
  10   public static int SHORTSIDE = 612;\r
  11   public static int LONGSIDE = 792;\r
  12 \r
  13   static Vector fonts = new Vector();\r
  14 \r
  15   static {\r
  16     fonts.addElement("Helvetica");\r
  17     fonts.addElement("Times-Roman");\r
  18     fonts.addElement("Courier New");\r
  19   }\r
  20 \r
  21   static Vector fontsizes = new Vector();\r
  22 \r
  23   static {\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
  30   }\r
  31 \r
  32   public int orientation = PORTRAIT;\r
  33   public int width = SHORTSIDE;\r
  34   public int height = LONGSIDE;\r
  35 \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
  40 \r
  41   public PostscriptProperties() {}\r
  42 \r
  43   public PostscriptProperties(int or, int w, int h, int xoff, int yoff, int fsize, String font) {\r
  44 \r
  45     this.orientation = or;\r
  46     this.width = w;\r
  47     this.height = h;\r
  48     this.xoffset = xoff;\r
  49     this.yoffset = yoff;\r
  50     this.fsize = fsize;\r
  51     this.font = font;\r
  52   }\r
  53 \r
  54   public int getOrientation() {\r
  55     return orientation;\r
  56   }\r
  57   public int getWidth() {\r
  58     return width;\r
  59   }\r
  60   public int getHeight() {\r
  61     return height;\r
  62   }\r
  63   public int getXOffset() {\r
  64     return xoffset;\r
  65   }\r
  66   public int getYOffset() {\r
  67     return yoffset;\r
  68   }\r
  69   public int getFSize() {\r
  70     return fsize;\r
  71   }\r
  72   public String getFont() {\r
  73     return font;\r
  74   }\r
  75 }\r