Dirk Hohndel 669cbdaac5 mobile/UI: add signal to redraw profile
This allows us to force a redraw of the dive profile when settings change
that require a refresh of the profile.

Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
2021-01-10 15:57:39 -08:00
..
2020-03-10 09:25:57 -07:00
2020-12-23 09:44:39 -08:00