mirror of
https://github.com/subsurface/subsurface.git
synced 2024-11-28 05:00:20 +00:00
efb1832db8
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> |
||
|---|---|---|
| .. | ||
| abstractpreferenceswidget.cpp | ||
| abstractpreferenceswidget.h | ||
| CMakeLists.txt | ||
| preferences_cloud.cpp | ||
| preferences_cloud.h | ||
| preferences_cloud.ui | ||
| preferences_dc.cpp | ||
| preferences_dc.h | ||
| preferences_dc.ui | ||
| preferences_defaults.cpp | ||
| preferences_defaults.h | ||
| preferences_defaults.ui | ||
| preferences_equipment.cpp | ||
| preferences_equipment.h | ||
| preferences_equipment.ui | ||
| preferences_georeference.cpp | ||
| preferences_georeference.h | ||
| preferences_georeference.ui | ||
| preferences_graph.cpp | ||
| preferences_graph.h | ||
| preferences_graph.ui | ||
| preferences_language.cpp | ||
| preferences_language.h | ||
| preferences_language.ui | ||
| preferences_log.cpp | ||
| preferences_log.h | ||
| preferences_log.ui | ||
| preferences_media.cpp | ||
| preferences_media.h | ||
| preferences_media.ui | ||
| preferences_network.cpp | ||
| preferences_network.h | ||
| preferences_network.ui | ||
| preferences_reset.cpp | ||
| preferences_reset.h | ||
| preferences_reset.ui | ||
| preferences_units.cpp | ||
| preferences_units.h | ||
| preferences_units.ui | ||
| preferencesdialog.cpp | ||
| preferencesdialog.h | ||