public static void runScript(string URI) { if (consoleModel != null) { consoleModel.runScript(URI); } if (editorModel != null) { editorModel.runScript(URI); } }