RenderSliverPersistentHeader constructor
Creates a sliver that changes its size when scrolled to the start of the viewport.
This is an abstract class; this constructor only initializes the child.
Implementation
RenderSliverPersistentHeader({ RenderBox child }) {
this.child = child;
}