get the extent of a specific header
double getHeaderExtentFor({required int index}) { return customSizedHeaders[index]?.effectiveExtent ?? defaultHeaderExtent; }