From c8ff21a347f0171ef958d3faf595ad5c95ecf911 Mon Sep 17 00:00:00 2001
From: amwaterhouse <Andrew Waterhouse>
Date: Fri, 18 Mar 2005 18:25:36 +0000
Subject: [PATCH] delete postscript output!!

---
 src/jalview/io/FileProperties.java       |   33 -------------
 src/jalview/io/OutputGenerator.java      |   20 --------
 src/jalview/io/PostscriptProperties.java |   75 ------------------------------
 3 files changed, 128 deletions(-)
 delete mode 100755 src/jalview/io/FileProperties.java
 delete mode 100755 src/jalview/io/OutputGenerator.java
 delete mode 100755 src/jalview/io/PostscriptProperties.java

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