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