subsurface/desktop-widgets
Berthold Stoeger 00ff63f186 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>
2020-05-22 10:00:43 -07:00
..
2015-10-30 10:36:49 -07:00
2017-04-29 13:32:55 -07:00
2017-11-30 23:14:46 -08:00
2020-04-19 14:27:54 -07:00
2020-01-24 09:51:02 -08:00
2020-03-19 08:37:59 -07:00
2020-04-19 14:27:54 -07:00
2015-10-30 10:36:49 -07:00
2017-11-30 23:14:46 -08:00
2017-11-30 23:14:46 -08:00
2017-11-30 23:14:46 -08:00
2017-11-30 23:14:46 -08:00
2015-10-30 10:36:49 -07:00
2017-11-30 23:14:46 -08:00