mirror of
https://github.com/flutter/flutter.git
synced 2026-02-20 02:29:02 +08:00
Previously we asserted that the element was not in the dirty list, but there are scenarios where the element can be in the dirty list already. This patch makes markNeedsBuild handle those cases by simply resorting the dirty list. Fixes #6119