Use PinnedHeaderSliver
instead of SliverPersistentHeader
#1757
Open
elibon99 wants to merge 1 commit intomainfrom elias/pinned-header-sliver
+8-36
PinnedHeaderSliver
instead of SliverPersistentHeader
#1757