Merge remote-tracking branch 'origin/develop' into develop

This commit is contained in:
Hosted Weblate 2025-02-06 14:56:15 +01:00
commit 5b9330c5f2
No known key found for this signature in database
GPG key ID: A3FAAA06E6569B4C

View file

@ -152,10 +152,8 @@ class _CollectionAppBarState extends State<CollectionAppBar> with SingleTickerPr
@override
void didChangeMetrics() {
// when top padding changes
_updateStatusBarHeight();
// when text scale factor changes
_updateAppBarHeight();
// when top padding or text scale factor change
WidgetsBinding.instance.addPostFrameCallback((_) => _updateStatusBarHeight());
}
@override