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