#241 improved google map refresh on size change

lib/widgets/map/map_page.dart

@@ -429,8 +429,6 @@ class _ContentState extends State<_Content> with SingleTickerProviderStateMixin
 
   void _toggleOverlay() => _overlayVisible.value = !_overlayVisible.value;
 
-  // TODO TLAD [map] as of Flutter v2.5.1 / google_maps_flutter v2.0.10, toggling overlay changes the size of the map, which is an issue for Google map on Android 12
-  // cf https://github.com/flutter/flutter/issues/90556
   Future<void> _onOverlayVisibleChange({bool animate = true}) async {
     if (_overlayVisible.value) {
       if (animate) {

plugins/aves_services_google/lib/src/map.dart

@@ -57,6 +57,7 @@ class _EntryGoogleMapState<T> extends State<EntryGoogleMap<T>> with WidgetsBindi
   final Map<MarkerKey<T>, Uint8List> _markerBitmaps = {};
   final StreamController<MarkerKey<T>> _markerBitmapReadyStreamController = StreamController.broadcast();
   Uint8List? _dotMarkerBitmap;
+  final ValueNotifier<Size> _sizeNotifier = ValueNotifier(Size.zero);
 
   ValueNotifier<ZoomedBounds> get boundsNotifier => widget.boundsNotifier;
 
@@ -68,6 +69,7 @@ class _EntryGoogleMapState<T> extends State<EntryGoogleMap<T>> with WidgetsBindi
   void initState() {
     super.initState();
     WidgetsBinding.instance.addObserver(this);
+    _sizeNotifier.addListener(_onSizeChange);
     _registerWidget(widget);
   }
 
@@ -83,6 +85,7 @@ class _EntryGoogleMapState<T> extends State<EntryGoogleMap<T>> with WidgetsBindi
     _unregisterWidget(widget);
     _serviceMapController?.dispose();
     WidgetsBinding.instance.removeObserver(this);
+    _sizeNotifier.removeListener(_onSizeChange);
     super.dispose();
   }
 
@@ -109,7 +112,7 @@ class _EntryGoogleMapState<T> extends State<EntryGoogleMap<T>> with WidgetsBindi
       case AppLifecycleState.detached:
         break;
       case AppLifecycleState.resumed:
-        // workaround for blank Google map when resuming app
+        // workaround for blank map when resuming app
         // cf https://github.com/flutter/flutter/issues/40284
         _serviceMapController?.setMapStyle(null);
         break;
@@ -166,6 +169,9 @@ class _EntryGoogleMapState<T> extends State<EntryGoogleMap<T>> with WidgetsBindi
             return ValueListenableBuilder<double>(
               valueListenable: widget.overlayOpacityNotifier ?? ValueNotifier(1),
               builder: (context, overlayOpacity, child) {
+                return LayoutBuilder(
+                  builder: (context, constraints) {
+                    _sizeNotifier.value = constraints.biggest;
                     return GoogleMap(
                       initialCameraPosition: CameraPosition(
                         bearing: -bounds.rotation,
@@ -227,6 +233,16 @@ class _EntryGoogleMapState<T> extends State<EntryGoogleMap<T>> with WidgetsBindi
             );
           },
         );
+      },
+    );
+  }
+
+  // sometimes the map does not properly update after changing the widget size,
+  // so we monitor the size and force refreshing after an arbitrary small delay
+  Future<void> _onSizeChange() async {
+    await Future.delayed(const Duration(milliseconds: 100));
+    debugPrint('refresh map for size=${_sizeNotifier.value}');
+    await _serviceMapController?.setMapStyle(null);
   }
 
   void _onIdle() {