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
..
2017-12-17 09:02:44 -08:00
2017-12-17 09:02:44 -08:00
2022-03-12 08:28:32 -08:00
2022-07-24 16:56:36 +02:00
2019-12-25 02:57:42 +09:00
2022-07-24 16:56:36 +02:00
2019-12-25 02:57:42 +09:00
2019-12-25 02:57:42 +09:00
2019-12-27 05:42:23 +09:00
2022-08-21 18:53:35 -07:00
2019-12-25 02:57:42 +09:00
2022-08-21 18:53:35 -07:00
2020-12-13 11:49:59 -08:00
2019-12-25 02:57:42 +09:00
2020-12-13 11:49:59 -08:00
2019-12-25 02:57:42 +09:00
2018-09-29 15:23:25 -07:00
2019-12-25 02:57:42 +09:00
2021-01-19 12:34:46 -08:00
2019-07-18 05:42:55 -07:00
2019-12-25 02:57:42 +09:00
2021-10-27 12:37:31 -07:00
2018-09-29 15:23:25 -07:00
2018-01-02 09:12:31 -08:00
2020-03-20 15:20:44 -07:00
2019-12-25 02:57:42 +09:00
2020-10-26 19:27:03 -07:00
2020-10-26 19:27:03 -07:00
2019-12-25 02:57:42 +09:00
2020-03-22 12:01:59 -07:00
2019-12-25 02:57:42 +09:00
2019-12-25 02:57:42 +09:00
2019-12-25 02:57:42 +09:00
2019-12-25 02:57:42 +09:00
2019-12-25 02:57:42 +09:00
2019-12-25 02:57:42 +09:00
2020-01-20 09:55:26 -08:00
2018-09-29 15:23:25 -07:00
2017-10-09 11:49:29 +03:00
2020-12-12 15:52:40 -08:00
2020-12-12 15:52:40 -08:00