private void writeSrcFile() throws IOException {
Debug.log(3, "IDE: writeSrcFile: " + _editingFile.getName());
writeFile(_editingFile.getAbsolutePath());
if (PreferencesUser.getInstance().getAtSaveMakeHTML()) {
convertSrcToHtml(getSrcBundle());
} else {
String snameDir = new File(_editingFile.getAbsolutePath()).getParentFile().getName();
String sname = snameDir.replace(".sikuli", "") + ".html";
(new File(snameDir, sname)).delete();
}
if (PreferencesUser.getInstance().getAtSaveCleanBundle()) {
cleanBundle(getSrcBundle());
}
setDirty(false);
}
