154155156157158159160161
this.resyncActiveScripts(); } @Override public void newScript(String name, String content) { this.scriptManager.registerNewScript(new Script(name, content, true)); this.resyncActiveScripts(); }