git://source.jalview.org
/
jalview.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
15acf4d
)
filefilter might not be JalviewFileFilter
author
amwaterhouse
<Andrew Waterhouse>
Tue, 24 May 2005 09:35:14 +0000
(09:35 +0000)
committer
amwaterhouse
<Andrew Waterhouse>
Tue, 24 May 2005 09:35:14 +0000
(09:35 +0000)
src/jalview/io/JalviewFileChooser.java
patch
|
blob
|
history
diff --git
a/src/jalview/io/JalviewFileChooser.java
b/src/jalview/io/JalviewFileChooser.java
index
8f7d61b
..
03daa17
100755
(executable)
--- a/
src/jalview/io/JalviewFileChooser.java
+++ b/
src/jalview/io/JalviewFileChooser.java
@@
-80,11
+80,14
@@
public class JalviewFileChooser extends JFileChooser
setDialogType(SAVE_DIALOG);
\r
int ret = showDialog(parent, null);
\r
\r
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
{
\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
}
\r
\r
if(ret == JalviewFileChooser.APPROVE_OPTION && getSelectedFile().exists() )
\r