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