modalFilter property

Widget modalFilter

Returns the modal filter widget

Implementation

Widget get modalFilter {
  return customModalFilter ?? defaultModalFilter;
}