use new file filter
authoramwaterhouse <Andrew Waterhouse>
Fri, 18 Mar 2005 16:09:26 +0000 (16:09 +0000)
committeramwaterhouse <Andrew Waterhouse>
Fri, 18 Mar 2005 16:09:26 +0000 (16:09 +0000)
src/jalview/io/HTMLOutput.java

index a6ab087..fd51823 100755 (executable)
@@ -19,7 +19,9 @@ public class HTMLOutput
   {\r
     this.av = av;\r
     sr = new SequenceRenderer(av);\r
-    JalviewFileChooser chooser = new JalviewFileChooser(jalview.bin.Cache.getProperty("LAST_DIRECTORY"));\r
+    JalviewFileChooser chooser = new JalviewFileChooser(jalview.bin.Cache.getProperty("LAST_DIRECTORY")\r
+        , new String[]{"html"}, "HTML files");\r
+\r
     chooser.setFileView(new JalviewFileView());\r
     chooser.setDialogTitle("Save as HTML");\r
     chooser.setToolTipText("Save");\r