From 505e70d1af8a25642843387160b1ef199c5cbb04 Mon Sep 17 00:00:00 2001
From: amwaterhouse <Andrew Waterhouse>
Date: Fri, 18 Mar 2005 16:09:26 +0000
Subject: [PATCH] use new file filter

---
 src/jalview/io/HTMLOutput.java |    4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/jalview/io/HTMLOutput.java b/src/jalview/io/HTMLOutput.java
index a6ab087..fd51823 100755
--- a/src/jalview/io/HTMLOutput.java
+++ b/src/jalview/io/HTMLOutput.java
@@ -19,7 +19,9 @@ public class HTMLOutput
   {
     this.av = av;
     sr = new SequenceRenderer(av);
-    JalviewFileChooser chooser = new JalviewFileChooser(jalview.bin.Cache.getProperty("LAST_DIRECTORY"));
+    JalviewFileChooser chooser = new JalviewFileChooser(jalview.bin.Cache.getProperty("LAST_DIRECTORY")
+        , new String[]{"html"}, "HTML files");
+
     chooser.setFileView(new JalviewFileView());
     chooser.setDialogTitle("Save as HTML");
     chooser.setToolTipText("Save");
-- 
1.7.10.2