defaultModalHeader property
Widget
defaultModalHeader
Returns the default modal header widget
Implementation
Widget get defaultModalHeader {
final bool isFiltering = filter?.activated == true;
return AppBar(
primary: true,
shape: modalHeaderStyle.shape,
elevation: modalHeaderStyle.elevation,
brightness: modalHeaderStyle.brightness,
backgroundColor: modalHeaderStyle.backgroundColor,
actionsIconTheme: modalHeaderStyle.actionsIconTheme,
iconTheme: modalHeaderStyle.iconTheme,
centerTitle: modalHeaderStyle.centerTitle,
automaticallyImplyLeading: modalConfig.isFullPage || isFiltering,
leading: isFiltering ? const Icon(Icons.search) : null,
title: isFiltering
? modalFilter
: Column(
mainAxisSize: MainAxisSize.max,
crossAxisAlignment: CrossAxisAlignment.start,
children: [
modalTitle,
modalError,
],
),
actions: modalActions,
);
}