mirror of
https://github.com/flutter/flutter.git
synced 2025-06-03 00:51:18 +00:00
![]() This patch reworks some of the guts of scrolling to make it easier to implement nested scrolling effects. The actually nested scrolling effect will be included in a later patch. |
||
---|---|---|
.. | ||
home.dart | ||
sections.dart | ||
widgets.dart |