public boolean export() { if (imagePanel == null) { GuiUtils.showNonModalMsg("Got no image to export yet..."); return false; } String file = FileTools.getFile("Save image to a file", "*.*", null, true); return export(file); }
// String locToReadFile; public LocToReadIndexer(String indexpath, int code) { super(); code = Math.abs(code); INDEXFILENAME = "loctoread_" + code + ".idx"; READLOCFILENAME = "readlocations_" + code + ".txt"; init(); this.indexpath = FileTools.addSlashOrBackslash(indexpath); }
public PGMAcquisition(String path, int flow) { this.flow = flow; this.path = path; if (path == null) { err("got null file path!"); } if (FileTools.isUrl(path)) { try { initUrl(new URL(path)); } catch (Exception ex) { err("Error reading " + path, ex); } } else { initFile(new File(path)); } }