diff options
| author | rsudev <rasch@munin-soft.de> | 2013-09-13 07:47:00 +0200 |
|---|---|---|
| committer | rsudev <rasch@munin-soft.de> | 2013-09-13 07:47:00 +0200 |
| commit | 3032c32be5ba8c19eeb02c1e6d0dce3db307d511 (patch) | |
| tree | bc19b7eb9abd981f021cb9db9f20496192a16292 /main/res/xml | |
| parent | e150d39ab061d08455a1d75bec811fd322a211b6 (diff) | |
| download | cgeo-3032c32be5ba8c19eeb02c1e6d0dce3db307d511.zip cgeo-3032c32be5ba8c19eeb02c1e6d0dce3db307d511.tar.gz cgeo-3032c32be5ba8c19eeb02c1e6d0dce3db307d511.tar.bz2 | |
Implements #3220, Feature request: Show mapsforge-map "bigger" on high-res-displays
Made the mapsforge textscale setting follow the device dpi, if so wanted, default true.
Diffstat (limited to 'main/res/xml')
| -rw-r--r-- | main/res/xml/preferences.xml | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/main/res/xml/preferences.xml b/main/res/xml/preferences.xml index 7ea3b59..0cbeb71 100644 --- a/main/res/xml/preferences.xml +++ b/main/res/xml/preferences.xml @@ -274,6 +274,12 @@ android:key="@string/pref_renderthemepath" android:title="@string/init_rendertheme_folder" /> + <CheckBoxPreference + android:key="@string/pref_mapsforge_scale_text" + android:title="@string/settings_title_scale_map_text" + android:summary="@string/settings_summary_scale_map_text" + android:defaultValue="true" /> + </PreferenceCategory> <PreferenceCategory |