public static @Nullable EditorFontType getConsoleType(@Nullable EditorFontType type) {
    return type == PLAIN ? CONSOLE_PLAIN :
           type == ITALIC ? CONSOLE_ITALIC :
           type == BOLD ? CONSOLE_BOLD :
           type == BOLD_ITALIC ? CONSOLE_BOLD_ITALIC : type;
  }
public static @Nullable EditorFontType getConsoleType(@Nullable EditorFontType type)