From 2a41657e305de52b6c7d8bc0388b297c14330d00 Mon Sep 17 00:00:00 2001
From: Greg Price <greg@zulip.com>
Date: Mon, 22 May 2023 17:48:57 -0700
Subject: [PATCH] sticky_header [nfc]: Use new
 SlottedMultiChildRenderObjectWidget base class

This was introduced recently upstream, deprecating the old mixin
SlottedMultiChildRenderObjectWidgetMixin.

This change follows up on 2f0f4692f (from #103), which handled the
mandatory part of the same upstream API change.
---
 lib/widgets/sticky_header.dart | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/lib/widgets/sticky_header.dart b/lib/widgets/sticky_header.dart
index df09aa06e3..548a47f336 100644
--- a/lib/widgets/sticky_header.dart
+++ b/lib/widgets/sticky_header.dart
@@ -210,9 +210,8 @@ class RenderSliverStickyHeaderList extends RenderSliverList {
 
 enum StickyHeaderSlot { header, content }
 
-class StickyHeader extends RenderObjectWidget
-    with SlottedMultiChildRenderObjectWidgetMixin<StickyHeaderSlot, RenderBox> {
-  StickyHeader(
+class StickyHeader extends SlottedMultiChildRenderObjectWidget<StickyHeaderSlot, RenderBox> {
+  const StickyHeader(
       {super.key,
       this.direction = AxisDirection.down,
       this.header,