private void setFileNameAndReset(String path) { setCurFilename(path); int x = path.lastIndexOf("."); int y = path.lastIndexOf("/"); setDisplayName(path.substring(y + 1, x)); setDataChanged(false); }
private void askToConvertToNew(String fileName) { int response = JOptionPane.showConfirmDialog( s_window, "The data format for ADDIS has changed.\n\nWould you like to save this file in the new file format (.addis)?", "Save in new format?", JOptionPane.YES_NO_OPTION); if (response == JOptionPane.OK_OPTION) { if (fileName.endsWith(".xml")) { fileName = fileName.replace(".xml", ".addis"); } else { fileName += ".addis"; } saveDomainToFile(fileName); setFileNameAndReset(fileName); } else { setCurFilename(null); setDisplayName(DISPLAY_NEW); setDataChanged(true); } }
public void newDomain() { d_domainMgr.resetDomain(); // Create an empty domain. setCurFilename(null); setDisplayName(DISPLAY_NEW); setDataChanged(false); }