if (db != null) db.setDirtyListener(this);
setDirty();
}
public void signalCodeChange() {
plugins = new PluginList();
globals.put("apiplugins", plugins);
ScriptEnv newEnv;
try {
newEnv = StandardDbRepository.buildScriptEnv(code, globals);
} finally {