Пример #1
0
 public static void hideHistory()
 {
     if (consoleModel != null)
     {
         consoleModel.hideHistory();
     }
     if (editorModel != null)
     {
         editorModel.hideHistory();
     }
 }