Revision 22427
trunk/extensions/extGeoreferencing/src/org/gvsig/georeferencing/ui/launcher/FileSelectionPanel.java | ||
---|---|---|
22 | 22 |
import java.awt.event.ActionEvent; |
23 | 23 |
import java.awt.event.ActionListener; |
24 | 24 |
import java.io.File; |
25 |
import java.util.ArrayList; |
|
26 | 25 |
|
27 | 26 |
import javax.swing.JButton; |
28 | 27 |
import javax.swing.JFileChooser; |
... | ... | |
123 | 122 |
String path = null; |
124 | 123 |
JFileChooser chooser = new JFileChooser(FileOpenWizard.getLastPath()); |
125 | 124 |
chooser.setAcceptAllFileFilterUsed(false); |
126 |
ArrayList extensionsSupported = RasterDataset.getExtensionsSupported();
|
|
125 |
String[] extensionsSupported = RasterDataset.getExtensionsSupported();
|
|
127 | 126 |
ExtendedFileFilter allFiles = new ExtendedFileFilter(); |
128 |
for (int i = 0; i < extensionsSupported.size(); i++) {
|
|
127 |
for (int i = 0; i < extensionsSupported.length; i++) {
|
|
129 | 128 |
ExtendedFileFilter fileFilter = new ExtendedFileFilter(); |
130 |
fileFilter.addExtension((String)extensionsSupported.get(i));
|
|
131 |
allFiles.addExtension((String)extensionsSupported.get(i));
|
|
129 |
fileFilter.addExtension((String) extensionsSupported[i]);
|
|
130 |
allFiles.addExtension((String) extensionsSupported[i]);
|
|
132 | 131 |
chooser.addChoosableFileFilter(fileFilter); |
133 | 132 |
} |
134 | 133 |
allFiles.setDescription(RasterToolsUtil.getText(this, "todos_soportados")); |
Also available in: Unified diff