options property

PanelHeaderOptions options

This denotes additional capabilities of PanelHeaderWidget.

Taken from AppBar.

Implementation

final PanelHeaderOptions options;