/** * Returns a filter for ZIP files. * * @return the ZIP filter */ public static ExtensionFileFilter getZipFileFilter() { return new ExtensionFileFilter("ZIP files", "zip"); } }
/** * Returns a filter for text files. * * @return the text filter */ public static ExtensionFileFilter getTextFileFilter() { return new ExtensionFileFilter("Text files", "txt"); }
/** * Returns a filter for PDF files. * * @return the PDF filter */ public static ExtensionFileFilter getPdfFileFilter() { return new ExtensionFileFilter("PDF files", "pdf"); }
/** * 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<>(); }