header property

Widget? header

An optional header widget for advanced customization of the top section area, which can include multiple elements or complex layouts.

Implementation

final Widget? header;