fix: 5634 - refresh of price lazy counters when accessing lists

[monsieurtanuki]

What

• About a month ago, we switched to "lazy" counts (e.g. my prices) for the user page: we count only the very first time, or on demand (refresh button).
• That brings incoherence when we go to the list page and then back to the "counts" page: the lazy count was not explicitly refreshed and kept its old value.
• The purpose of this PR is to refresh the price lazy counts each time we go to the corresponding list page (that of course computes the latest counts).

Screenshots

For "Derniers prix ajoutés" = latest added prices

lazy 34441	displayed list	refreshed lazy 37199

Fixes bug(s)

• Fixes: Refresh the cached price counts after accessing the price list pages #5634

Impacted files

• get_prices_model.dart: added a LazyCounterPrices? parameter
• lazy_counter.dart: added a bool notify parameter
• lazy_counter_widget.dart: now refreshed by "external" new count
• price_user_button.dart: added a LazyCounterPrices parameter to have the counter refreshed
• product_prices_list.dart: now setting the lazy counter when displaying the list
• user_preferences.dart: added a bool notify parameter for the lazy counter setter
• user_preferences_account.dart: added a LazyCounterPrices parameter to have the counter refreshed

[codecov-commenter]

Codecov Report

Attention: Patch coverage is 0% with 25 lines in your changes missing coverage. Please review.

Project coverage is 6.79%. Comparing base (4d9c7fc) to head (c227350).
Report is 357 commits behind head on develop.

Files with missing lines	Patch %	Lines
...app/lib/pages/preferences/lazy_counter_widget.dart	0.00%	12 Missing ⚠️
.../lib/data_models/preferences/user_preferences.dart	0.00%	5 Missing ⚠️
...ooth_app/lib/pages/prices/product_prices_list.dart	0.00%	5 Missing ⚠️
...smooth_app/lib/pages/preferences/lazy_counter.dart	0.00%	2 Missing ⚠️
...smooth_app/lib/pages/prices/price_user_button.dart	0.00%	1 Missing ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##           develop   #5678      +/-   ##
==========================================
- Coverage     9.54%   6.79%   -2.75%     
==========================================
  Files          325     404      +79     
  Lines        16411   21560    +5149     
==========================================
- Hits          1567    1466     -101     
- Misses       14844   20094    +5250     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

[teolemon]

👍 I had spotted this and was mildly annoyed

[monsieurtanuki]

Thank you @teolemon for your reviews!

[monsieurtanuki]

@teolemon We could even refresh the cached count after each time we add prices, as part of the related background task.
If you find this interesting, please create an issue about it.