{\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