mirror of
https://github.com/bggRGjQaUbCoE/PiliPlus.git
synced 2026-05-26 19:18:43 +00:00
@@ -113,8 +113,8 @@ class _SliverFloatingHeaderWidget extends SingleChildRenderObjectWidget {
|
||||
|
||||
class RenderSliverFloatingHeader extends RenderSliverSingleBoxAdapter {
|
||||
RenderSliverFloatingHeader({
|
||||
required Color backgroundColor,
|
||||
}) : _backgroundColor = backgroundColor;
|
||||
required this._backgroundColor,
|
||||
});
|
||||
|
||||
Color _backgroundColor;
|
||||
set backgroundColor(Color value) {
|
||||
|
||||
@@ -55,10 +55,9 @@ class SliverPinnedDynamicHeader extends SingleChildRenderObjectWidget {
|
||||
|
||||
class RenderSliverPinnedDynamicHeader extends RenderSliverSingleBoxAdapter {
|
||||
RenderSliverPinnedDynamicHeader({
|
||||
required double minExtent,
|
||||
required double maxExtent,
|
||||
}) : _minExtent = minExtent,
|
||||
_maxExtent = maxExtent;
|
||||
required this._minExtent,
|
||||
required this._maxExtent,
|
||||
});
|
||||
|
||||
double _minExtent;
|
||||
double get minExtent => _minExtent;
|
||||
|
||||
@@ -47,8 +47,8 @@ class SliverPinnedHeader extends SingleChildRenderObjectWidget {
|
||||
|
||||
class RenderSliverPinnedHeader extends RenderSliverSingleBoxAdapter {
|
||||
RenderSliverPinnedHeader({
|
||||
required Color? backgroundColor,
|
||||
}) : _backgroundColor = backgroundColor;
|
||||
required this._backgroundColor,
|
||||
});
|
||||
|
||||
Color? _backgroundColor;
|
||||
set backgroundColor(Color? value) {
|
||||
|
||||
Reference in New Issue
Block a user