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