public void open() { File last = FileSelectionFactory.GetFile( ScriptingEngine.getWorkspace(), new ExtensionFilter("Groovy Scripts", "*.groovy", "*.java", "*.txt")); if (last != null) { createFileTab(last); } }
private void getFile() { setAudioFile( FileSelectionFactory.GetFile( mp3File == null ? ScriptingEngineWidget.getWorkspace() : mp3File, new GroovyFilter())); }
private void getFile() { setAudioFile( FileSelectionFactory.GetFile( mp3File == null ? ScriptingEngine.getWorkspace() : mp3File, new ExtensionFilter("WAV file", "*.wav", "*.WAV"))); }