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

This commit is contained in:
Hosted Weblate 2025-02-06 13:50:37 +00:00
commit a233e957b2
No known key found for this signature in database
GPG key ID: A3FAAA06E6569B4C

View file

@ -97,16 +97,21 @@ class _MapEntryScrollerState extends State<MapEntryScroller> {
],
),
Positioned.fill(
child: ValueListenableBuilder<CollectionLens?>(
valueListenable: widget.regionCollectionNotifier,
builder: (context, regionCollection, child) {
return regionCollection != null && regionCollection.isEmpty
? EmptyContent(
text: context.l10n.mapEmptyRegion,
alignment: Alignment.center,
fontSize: 18,
)
: const SizedBox();
child: ValueListenableBuilder<AvesEntry?>(
valueListenable: _infoEntryNotifier,
builder: (context, infoEntry, child) {
return ValueListenableBuilder<CollectionLens?>(
valueListenable: widget.regionCollectionNotifier,
builder: (context, regionCollection, child) {
return infoEntry == null && regionCollection != null && regionCollection.isEmpty
? EmptyContent(
text: context.l10n.mapEmptyRegion,
alignment: Alignment.center,
fontSize: 18,
)
: const SizedBox();
},
);
},
),
),