delete postscript output!!
authoramwaterhouse <Andrew Waterhouse>
Fri, 18 Mar 2005 18:25:36 +0000 (18:25 +0000)
committeramwaterhouse <Andrew Waterhouse>
Fri, 18 Mar 2005 18:25:36 +0000 (18:25 +0000)
src/jalview/io/FileProperties.java [deleted file]
src/jalview/io/OutputGenerator.java [deleted file]
src/jalview/io/PostscriptProperties.java [deleted file]

diff --git a/src/jalview/io/FileProperties.java b/src/jalview/io/FileProperties.java
deleted file mode 100755 (executable)
index 9921d70..0000000
+++ /dev/null
@@ -1,33 +0,0 @@
-/* Jalview - a java multiple alignment editor\r
- * Copyright (C) 1998  Michele Clamp\r
- *\r
- * This program is free software; you can redistribute it and/or\r
- * modify it under the terms of the GNU General Public License\r
- * as published by the Free Software Foundation; either version 2\r
- * of the License, or (at your option) any later version.\r
- *\r
- * This program is distributed in the hope that it will be useful,\r
- * but WITHOUT ANY WARRANTY; without even the implied warranty of\r
- * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the\r
- * GNU General Public License for more details.\r
- *\r
- * You should have received a copy of the GNU General Public License\r
- * along with this program; if not, write to the Free Software\r
- * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA  02111-1307, USA.\r
- */\r
-\r
-package jalview.io;\r
-\r
-import java.util.*;\r
-\r
-public class FileProperties {\r
-  public String directory = "./";\r
-  public String extension = ".seq";\r
-\r
-  public FileProperties() {}\r
-\r
-  public FileProperties(String directory, String extension) {\r
-    this.directory = directory;\r
-    this.extension = extension;\r
-  }\r
-}\r
diff --git a/src/jalview/io/OutputGenerator.java b/src/jalview/io/OutputGenerator.java
deleted file mode 100755 (executable)
index c038e89..0000000
+++ /dev/null
@@ -1,20 +0,0 @@
-package jalview.io;\r
-\r
-import java.io.*;\r
-\r
-public interface OutputGenerator {\r
-\r
-  public PostscriptProperties getPostscriptProperties();\r
-  //public MailProperties getMailProperties();\r
-  //    public FileProperties getFileProperties();\r
-\r
-  public void setPostscriptProperties(PostscriptProperties pp);\r
-  //    public void setFileProperties(FileProperties fp);\r
-  //public void setMailProperties(MailProperties mp);\r
-\r
-  public String getText(String format);\r
-  public void getPostscript(PrintWriter bw);\r
-  public void getPostscript(PrintStream ps);\r
-  public StringBuffer getPostscript();\r
-\r
-}\r
diff --git a/src/jalview/io/PostscriptProperties.java b/src/jalview/io/PostscriptProperties.java
deleted file mode 100755 (executable)
index 0aae0de..0000000
+++ /dev/null
@@ -1,75 +0,0 @@
-package jalview.io;\r
-\r
-import java.util.*;\r
-\r
-public class PostscriptProperties {\r
-\r
-  public static final int PORTRAIT = 0;\r
-  public static final int LANDSCAPE = 1;\r
-\r
-  public static int SHORTSIDE = 612;\r
-  public static int LONGSIDE = 792;\r
-\r
-  static Vector fonts = new Vector();\r
-\r
-  static {\r
-    fonts.addElement("Helvetica");\r
-    fonts.addElement("Times-Roman");\r
-    fonts.addElement("Courier New");\r
-  }\r
-\r
-  static Vector fontsizes = new Vector();\r
-\r
-  static {\r
-    fontsizes.addElement("6");\r
-    fontsizes.addElement("8");\r
-    fontsizes.addElement("10");\r
-    fontsizes.addElement("12");\r
-    fontsizes.addElement("14");\r
-    fontsizes.addElement("16");\r
-  }\r
-\r
-  public int orientation = PORTRAIT;\r
-  public int width = SHORTSIDE;\r
-  public int height = LONGSIDE;\r
-\r
-  public int xoffset = 30;\r
-  public int yoffset = 30;\r
-  public int fsize = 8;\r
-  public String font = "Helvetica";\r
-\r
-  public PostscriptProperties() {}\r
-\r
-  public PostscriptProperties(int or, int w, int h, int xoff, int yoff, int fsize, String font) {\r
-\r
-    this.orientation = or;\r
-    this.width = w;\r
-    this.height = h;\r
-    this.xoffset = xoff;\r
-    this.yoffset = yoff;\r
-    this.fsize = fsize;\r
-    this.font = font;\r
-  }\r
-\r
-  public int getOrientation() {\r
-    return orientation;\r
-  }\r
-  public int getWidth() {\r
-    return width;\r
-  }\r
-  public int getHeight() {\r
-    return height;\r
-  }\r
-  public int getXOffset() {\r
-    return xoffset;\r
-  }\r
-  public int getYOffset() {\r
-    return yoffset;\r
-  }\r
-  public int getFSize() {\r
-    return fsize;\r
-  }\r
-  public String getFont() {\r
-    return font;\r
-  }\r
-}\r