| Index: sky/sdk/lib/widgets/default_text_style.dart
|
| diff --git a/sky/sdk/lib/widgets/default_text_style.dart b/sky/sdk/lib/widgets/default_text_style.dart
|
| index ea64c22daedb596305bfd315304509792fd2f763..0afab3cdc5badb67162dc82005624cb4070eccd5 100644
|
| --- a/sky/sdk/lib/widgets/default_text_style.dart
|
| +++ b/sky/sdk/lib/widgets/default_text_style.dart
|
| @@ -24,6 +24,7 @@ class DefaultTextStyle extends Inherited {
|
| return result == null ? null : result.style;
|
| }
|
|
|
| + @override
|
| bool syncShouldNotify(DefaultTextStyle old) => style != old.style;
|
|
|
| }
|
|
|