@Nullable
  public static ConsoleViewContentType getTokenType(@NotNull RangeMarker m) {
    return m.getUserData(CONTENT_TYPE);
  }
@Nullable
  public static ConsoleViewContentType getTokenType(@NotNull RangeMarker m)