filefilter might not be JalviewFileFilter
authoramwaterhouse <Andrew Waterhouse>
Tue, 24 May 2005 09:35:14 +0000 (09:35 +0000)
committeramwaterhouse <Andrew Waterhouse>
Tue, 24 May 2005 09:35:14 +0000 (09:35 +0000)
src/jalview/io/JalviewFileChooser.java

index 8f7d61b..03daa17 100755 (executable)
@@ -80,11 +80,14 @@ public class JalviewFileChooser extends JFileChooser
       setDialogType(SAVE_DIALOG);\r
       int ret = showDialog(parent, null);\r
 \r
-      JalviewFileFilter jvf = (JalviewFileFilter)getFileFilter();\r
-      if( !jvf.accept( getSelectedFile() ) )\r
+      if(getFileFilter() instanceof JalviewFileFilter)\r
       {\r
-        String withExtension = getSelectedFile()+"."+jvf.getAcceptableExtension();\r
-        setSelectedFile(new File(withExtension));\r
+        JalviewFileFilter jvf = (JalviewFileFilter) getFileFilter();\r
+        if (!jvf.accept(getSelectedFile()))\r
+        {\r
+          String withExtension = getSelectedFile() + "." + jvf.getAcceptableExtension();\r
+          setSelectedFile(new File(withExtension));\r
+        }\r
       }\r
 \r
       if(ret == JalviewFileChooser.APPROVE_OPTION  &&  getSelectedFile().exists() )\r