diff options
| author |  Berthold Stoeger <bstoeger@mail.tuwien.ac.at> | 2020-05-22 09:49:48 +0200 |
|---|---|---|
| committer |  Dirk Hohndel <dirk@hohndel.org> | 2020-05-22 10:00:43 -0700 |
| commit | 00ff63f186f65df809610d70ca9b132197b6e72d (patch) | |
| tree | 8608a09f7ee76ccbd21933c044cdcaba0ccf9723 /desktop-widgets/diveplanner.h | |
| parent | fb1cf8d0e5b30794c6d2c5fd247f17fb4d63da08 (diff) | |
| download | subsurface-00ff63f186f65df809610d70ca9b132197b6e72d.tar.gz | |
desktop: update date and time fields if user changes format
This was more painful than expected, because we get the "preferences"
changed signal too early when the user switches to system format.
The correct format is set by the preferences-widget, not the preferences
subsystem.
Signed-off-by: Berthold Stoeger <bstoeger@mail.tuwien.ac.at>
Diffstat (limited to 'desktop-widgets/diveplanner.h')
0 files changed, 0 insertions, 0 deletions