From 02417ff502a66dbbf96e55ce3cfb2aec1469e11d Mon Sep 17 00:00:00 2001 From: amwaterhouse Date: Tue, 24 May 2005 09:35:14 +0000 Subject: [PATCH] filefilter might not be JalviewFileFilter --- src/jalview/io/JalviewFileChooser.java | 11 +++++++---- 1 file changed, 7 insertions(+), 4 deletions(-) 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() ) -- 1.7.10.2