subsurface/desktop-widgets
Michael Werle efb1832db8 Map Short Names - add preference setting
Adds a preference setting in the "Default" settings tab to toggle whether
to display shortened names in the Map.

TODO: instead of using the generic "settingsChanged" signal, it would be much
more efficient to only update items based on the actual setting which was
changed.

Signed-off-by: Michael WERLE <micha@michaelwerle.com>
2022-08-21 18:53:35 -07:00
..
2015-10-30 10:36:49 -07:00
2020-10-26 19:27:03 -07:00
2017-11-30 23:14:46 -08:00
2020-01-24 09:51:02 -08:00
2020-03-19 08:37:59 -07:00
2020-09-03 11:46:16 -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
2015-10-30 10:36:49 -07:00
2017-11-30 23:14:46 -08:00