public void loadFile(String filename) {
filename = FileManager.slashify(filename, false);
setSrcBundle(filename + "/");
File script = new File(filename);
_editingFile = FileManager.getScriptFile(script, null, null);
if (_editingFile != null) {
editingType =
_editingFile
.getAbsolutePath()
.substring(_editingFile.getAbsolutePath().lastIndexOf(".") + 1);
initBeforeLoad(editingType);
try {
this.read(
new BufferedReader(new InputStreamReader(new FileInputStream(_editingFile), "UTF8")),
null);
} catch (Exception ex) {
_editingFile = null;
}
}
if (_editingFile != null) {
updateDocumentListeners();
setDirty(false);
_srcBundleTemp = false;
} else {
_srcBundlePath = null;
}
}
public void reInit(String scriptType) {
initBeforeLoad(scriptType, true);
}
public void initBeforeLoad(String scriptType) {
initBeforeLoad(scriptType, false);
}
