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