From 090cad5a7846fa56743d800f8145a6027f2347c7 Mon Sep 17 00:00:00 2001
From: Vincent Velociter <vincent.velociter@gmail.com>
Date: Wed, 5 Feb 2025 17:15:22 +0100
Subject: [PATCH] Fix refresh indicator position on iOS

---
 lib/src/view/account/profile_screen.dart | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/lib/src/view/account/profile_screen.dart b/lib/src/view/account/profile_screen.dart
index a030709164..95710470b6 100644
--- a/lib/src/view/account/profile_screen.dart
+++ b/lib/src/view/account/profile_screen.dart
@@ -56,6 +56,10 @@ class _ProfileScreenState extends ConsumerState<ProfileScreen> {
           final recentGames = ref.watch(myRecentGamesProvider);
           final nbOfGames = ref.watch(userNumberOfGamesProvider(null)).valueOrNull ?? 0;
           return RefreshIndicator.adaptive(
+            edgeOffset:
+                Theme.of(context).platform == TargetPlatform.iOS
+                    ? MediaQuery.paddingOf(context).top + 16.0
+                    : 0,
             key: _refreshIndicatorKey,
             onRefresh: () async => ref.refresh(accountProvider),
             child: ListView(