From 1da6c93ee5ca07fa0a2e2b423039a01923f4e165 Mon Sep 17 00:00:00 2001
From: amwaterhouse <Andrew Waterhouse>
Date: Tue, 15 Mar 2005 16:12:00 +0000
Subject: [PATCH] use the fileview

---
 src/jalview/io/HTMLOutput.java |    1 +
 1 file changed, 1 insertion(+)

diff --git a/src/jalview/io/HTMLOutput.java b/src/jalview/io/HTMLOutput.java
index d48c068..82b75a1 100755
--- a/src/jalview/io/HTMLOutput.java
+++ b/src/jalview/io/HTMLOutput.java
@@ -20,6 +20,7 @@ public class HTMLOutput
     this.av = av;
     sr = new SequenceRenderer(av);
     JFileChooser chooser = new JFileChooser(jalview.bin.Cache.getProperty("LAST_DIRECTORY"));
+    chooser.setFileView(new JalviewFileView());
     chooser.setDialogTitle("Save as HTML");
     chooser.setToolTipText("Save");
     int value = chooser.showSaveDialog(null);
-- 
1.7.10.2