public static void hideEditor() { if (consoleModel != null) { consoleModel.hideEditor(); } if (editorModel != null) { editorModel.hideEditor(); } }