/** * Returns a filter for text files. * * @return the text filter */ public static ExtensionFileFilter getTextFileFilter() { return new ExtensionFileFilter("Text files", "txt"); }
/** * Checks whether the filter uses "*.*". * * @param filter the filter to check * @return true if filter has extension .* */ public static boolean isAllFilter(ExtensionFileFilter filter) { for (String ext: filter.getExtensions()) { if (ext.endsWith("*") || ext.endsWith(".*")) return true; } return false; } }
/** * Returns the file chooser to use for loading/saving of props files. * * @return the file chooser */ protected synchronized BaseFileChooser getFileChooser() { FileFilter filter; if (m_FileChooser == null) { m_FileChooser = new BaseFileChooser(); filter = ExtensionFileFilter.getPropertiesFileFilter(); m_FileChooser.addChoosableFileFilter(filter); m_FileChooser.setFileFilter(filter); } return m_FileChooser; }
if (m_LastFilter != null) { for (i = 0; i < list.size(); i++) { if (list.get(i).compareTo(m_LastFilter) == 0) { result = (F) m_LastFilter; setFileFilter(m_LastFilter);
/** * Returns a filter for ZIP files. * * @return the ZIP filter */ public static ExtensionFileFilter getZipFileFilter() { return new ExtensionFileFilter("ZIP files", "zip"); } }
/** * Attempts to set the correct file filter for the specified file, using its * extension to determine the file filter. * * @param file the file to set the filter for * @return true if successfully set filter */ public boolean setCorrectOpenFileFilter(File file) { boolean result; String fileExt; result = false; fileExt = FileUtils.getExtension(file); for (F filter: getOpenFileFilters()) { for (String ext: filter.getExtensions()) { if (ext.equals(fileExt)) { setFileFilter(filter); m_LastFilter = filter; result = true; updateCurrentHandlerHook(); break; } } if (result) break; } return result; }
/** * Returns a filter for PDF files. * * @return the PDF filter */ public static ExtensionFileFilter getPdfFileFilter() { return new ExtensionFileFilter("PDF files", "pdf"); }
/** * Attempts to set the correct file filter for the specified file, using its * extension to determine the file filter. * * @param file the file to set the filter for * @return true if successfully set filter */ public boolean setCorrectSaveFileFilter(File file) { boolean result; String fileExt; result = false; fileExt = FileUtils.getExtension(file); for (F filter: getSaveFileFilters()) { for (String ext: filter.getExtensions()) { if (ext.equals(fileExt)) { setFileFilter(filter); m_LastFilter = filter; result = true; updateCurrentHandlerHook(); break; } } if (result) break; } return result; }
/** * Returns a filter for log files. * * @return the log filter */ public static ExtensionFileFilter getLogFileFilter() { return new ExtensionFileFilter("Log files", "log"); }
/** * Returns a filter for props files. * * @return the props filter */ public static ExtensionFileFilter getPropertiesFileFilter() { return new ExtensionFileFilter("Properties files", new String[]{"props", "properties"}); }
/** * Returns a filter for CSV files. * * @return the CSV filter */ public static ExtensionFileFilter getCsvFileFilter() { return new ExtensionFileFilter("Comma-separated values files", "csv"); }
/** * Initializes the members. */ protected void initialize() { m_FileChooserScript = new BaseFileChooser(); m_FileChooserScript.addChoosableFileFilter(new ExtensionFileFilter("JShell script", new String[]{"jsh", "jshell"})); m_FileChooserScript.setAcceptAllFileFilterUsed(true); m_FileChooserOutput = new BaseFileChooser(); m_FileChooserOutput.addChoosableFileFilter(new ExtensionFileFilter("Text file", "txt")); m_FileChooserOutput.setAcceptAllFileFilterUsed(true); m_JShellListeners = new HashSet<>(); }