Pull to Refresh in User Screen

[r3econ]

• Adds pull to refresh loading indicator in the user screen
• Resolves There is a pull refresh for own profile should there be one for other players profiles #2253

Demo

ios-user-refresh.mov

[ijm8710]

Hey @r3econ thanks for adding this. You're killing it!

Had 2 quick questions for ya if you didn't mind

1. let's use safari on iOS if you're familiar with it. When you pull to refresh you feel the haptic as you're pulling down. For some reason, maybe it's a result of the app being built in flutter, the haptic in lichess beta, you don't feel until after it's released which feels a little less natural than how it's handled throughout the rest of the iOS ecosystem. And it feels a little weaker/less full. Any chance you notice what I'm saying and is that something the feasibly can be refactored to work more like normal-iOS or because of flutter that's just how the refresh works here?

2. pull to refresh is great. But Veloce also added a lot of natural refresh dynamically without needing to pull. For example on the home screen once you finish a game, and return back to home, you should see the game listed in 10 recent games without needing to pull. Do you think player profiles should dynamically refresh similarly? I still think it makes sense to have the pull to refresh regardless, but curious your thoughts on the dynamic refresh automatically or you think pull to refresh is good enough. The causality is the data is stale unless a user actions it rather than it always being up to date

[veloce]

I doubt about the usefulness of this feature to be honest. But since you've done it already let's have it.

[r3econ]

@ijm8710, good input. I think creating a GitHub Issue for the first point you mentioned would be a good idea. I could definitely look into it and make haptic feedback feel more native

The second is out of scope (I think) since as you say the dynamic refresh is implemented in critical places and for non-critical places a simple pull to refresh will suffice