public void cloneSkit(Skit skit) { // make sure that the new project name is valid and unique TreeNode parent = (TreeNode) getParentNode(); String newname = parent.getUniqueName(m_name); Skit newSkit = new Skit(); newSkit.setName(newname); newSkit.setSource(m_html); SkitManager.Current.addChild(newSkit); newSkit.select(); }
@Override public void onRename(String oldName, String newName) { if (AppManager.loading) { return; } if (oldName.equals(newName)) return; setName(newName); String oldFileName = WebHost.Current.getWebRoot() + "/" + oldName + s_extension; String newFileName = WebHost.Current.getWebRoot() + "/" + newName + s_extension; File f = new File(oldFileName); if (f.exists()) f.renameTo(new File(newFileName)); SkitManager.Current.updateSkitIndexHtml(); }
@Override public void destroy() { // prompt the user to confirm the deletion int resp = JOptionPane.showConfirmDialog( null, "Are you sure you want to delete this Skit?", "Skit Manager", JOptionPane.YES_NO_OPTION); if (resp == 0) { // close any open editors closeTopComponent(); // delete the associated html file String filename = getHtmlFileName(); File f = new File(filename); if (f.exists()) f.delete(); SkitManager.Current.removeChild(this); } }