docs: public static int[] getViewToHeaderPosition(JTextArea view, int start, int end) {
          validateView(view);
          validateStartEnd(start, end);
  
          if (!isValidStartEndForLength(start, end, view.getDocument().getLength())) {
              return INVALID_POSITION;
          }
  
          return getViewToHeaderPositionImpl(view, start, end);
      }