scriptPropertiesAction.setEnabled(true);
Script script = editor.script;
currentEditor = editor;
script.removePropertyChangeListener(scriptPropertyListener);
script.addPropertyChangeListener(scriptPropertyListener);
script.fireStateChange();
}
private ScriptEditor newScriptWindow(Script s) {
s.setTarget(WindowManager.getDesktop());
final ScriptEditor se = new ScriptEditor(s);