@Override
  public boolean equals(Object obj) {
    return obj instanceof AbsoluteEditorPosition
           && pageNumber == ((AbsoluteEditorPosition)obj).pageNumber
           && verticalScrollOffset == ((AbsoluteEditorPosition)obj).verticalScrollOffset;
  }
@Override
  public boolean equals(Object obj)