Ejemplo n.º 1
0
 public static void registerNamespace(string nspace)
 {
     if (consoleModel != null)
     {
         consoleModel.registerNamespace(nspace);
     }
     if (editorModel != null)
     {
         editorModel.registerNamespace(nspace);
     }
 }