|
|
|
|
|
|
_snapConfiguration = snapConfiguration; |
|
|
|
} |
|
|
|
|
|
|
|
public _SliverPersistentHeaderElement _element { get; set; } |
|
|
|
public _SliverPersistentHeaderElement _element { |
|
|
|
get { |
|
|
|
return sliver_persistent_header_utils._element; |
|
|
|
} |
|
|
|
set { |
|
|
|
if (value == sliver_persistent_header_utils._element) { |
|
|
|
return; |
|
|
|
} |
|
|
|
|
|
|
|
sliver_persistent_header_utils._element = value; |
|
|
|
} |
|
|
|
|
|
|
|
} |
|
|
|
float? minExtent { |
|
|
|
public override float? minExtent { |
|
|
|
float? maxExtent { |
|
|
|
public override float? maxExtent { |
|
|
|
get { |
|
|
|
return _element.widget.layoutDelegate.minExtent; |
|
|
|
} |
|
|
|
|
|
|
stretchConfiguration: stretchConfiguration) { |
|
|
|
} |
|
|
|
|
|
|
|
public _SliverPersistentHeaderElement _element { get; set; } |
|
|
|
public _SliverPersistentHeaderElement _element { |
|
|
|
get { |
|
|
|
return sliver_persistent_header_utils._element; |
|
|
|
} |
|
|
|
set { |
|
|
|
if (value == sliver_persistent_header_utils._element) { |
|
|
|
return; |
|
|
|
} |
|
|
|
|
|
|
|
sliver_persistent_header_utils._element = value; |
|
|
|
} |
|
|
|
|
|
|
|
} |
|
|
|
float? minExtent { |
|
|
|
public override float? minExtent { |
|
|
|
float? maxExtent { |
|
|
|
public override float? maxExtent { |
|
|
|
get { |
|
|
|
return _element.widget.layoutDelegate.minExtent; |
|
|
|
} |
|
|
|
|
|
|
stretchConfiguration: stretchConfiguration) { |
|
|
|
} |
|
|
|
|
|
|
|
public _SliverPersistentHeaderElement _element { get; set; } |
|
|
|
public _SliverPersistentHeaderElement _element { |
|
|
|
get { |
|
|
|
return sliver_persistent_header_utils._element; |
|
|
|
} |
|
|
|
set { |
|
|
|
if (value == sliver_persistent_header_utils._element) { |
|
|
|
return; |
|
|
|
} |
|
|
|
|
|
|
|
sliver_persistent_header_utils._element = value; |
|
|
|
} |
|
|
|
|
|
|
|
} |
|
|
|
float? minExtent { |
|
|
|
public override float? minExtent { |
|
|
|
float? maxExtent { |
|
|
|
public override float? maxExtent { |
|
|
|
get { |
|
|
|
return _element.widget.layoutDelegate.minExtent; |
|
|
|
} |
|
|
|
|
|
|
stretchConfiguration: stretchConfiguration) { |
|
|
|
} |
|
|
|
|
|
|
|
public _SliverPersistentHeaderElement _element { get; set; } |
|
|
|
public _SliverPersistentHeaderElement _element { |
|
|
|
get { |
|
|
|
return sliver_persistent_header_utils._element; |
|
|
|
} |
|
|
|
set { |
|
|
|
if (value == sliver_persistent_header_utils._element) { |
|
|
|
return; |
|
|
|
} |
|
|
|
|
|
|
|
sliver_persistent_header_utils._element = value; |
|
|
|
} |
|
|
|
|
|
|
|
} |
|
|
|
float? minExtent { |
|
|
|
public override float? minExtent { |
|
|
|
float? maxExtent { |
|
|
|
public override float? maxExtent { |
|
|
|
get { |
|
|
|
return _element.widget.layoutDelegate.minExtent; |
|
|
|
} |
|
|
|