diff --git a/lib/ui/platform_dispatcher.dart b/lib/ui/platform_dispatcher.dart index 5ae93b4206b93..609ce71f80381 100644 --- a/lib/ui/platform_dispatcher.dart +++ b/lib/ui/platform_dispatcher.dart @@ -1792,7 +1792,10 @@ class ViewPadding { /// Deprecated. Will be removed in a future version of Flutter. /// /// Use [ViewPadding] instead. -// TODO(goderbauer): deprecate this when framework has been migrated to ViewPadding. +@Deprecated( + 'Use ViewPadding instead. ' + 'This feature was deprecated after v3.8.0-14.0.pre.', +) typedef WindowPadding = ViewPadding; /// Area of the display that may be obstructed by a hardware feature. diff --git a/lib/web_ui/lib/platform_dispatcher.dart b/lib/web_ui/lib/platform_dispatcher.dart index a1963dbaa4a6b..16887b86df744 100644 --- a/lib/web_ui/lib/platform_dispatcher.dart +++ b/lib/web_ui/lib/platform_dispatcher.dart @@ -395,6 +395,10 @@ abstract class ViewPadding { } } +@Deprecated( + 'Use ViewPadding instead. ' + 'This feature was deprecated after v3.8.0-14.0.pre.', +) typedef WindowPadding = ViewPadding; class DisplayFeature {