From: amwaterhouse <Andrew Waterhouse>
Date: Tue, 24 May 2005 09:35:14 +0000 (+0000)
Subject: filefilter might not be JalviewFileFilter
X-Git-Tag: Release_2_0~216
X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=02417ff502a66dbbf96e55ce3cfb2aec1469e11d;p=jalview.git

filefilter might not be JalviewFileFilter
---

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