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);
}
}
