diff options
| author | Bananeweizen <bananeweizen@gmx.de> | 2014-05-17 16:16:41 +0200 |
|---|---|---|
| committer | Bananeweizen <bananeweizen@gmx.de> | 2014-05-17 16:16:41 +0200 |
| commit | e2d03264f63d644d72c369120d542969723398a1 (patch) | |
| tree | 0f45d5c89e74928c42386c8dbf79b54030b39099 /main/res/xml | |
| parent | a32ebb0d12e3501b57c043d0912230acd807b228 (diff) | |
| download | cgeo-e2d03264f63d644d72c369120d542969723398a1.zip cgeo-e2d03264f63d644d72c369120d542969723398a1.tar.gz cgeo-e2d03264f63d644d72c369120d542969723398a1.tar.bz2 | |
#3818: enable memory dumps on demand
Diffstat (limited to 'main/res/xml')
| -rw-r--r-- | main/res/xml/preferences.xml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/main/res/xml/preferences.xml b/main/res/xml/preferences.xml index 76a6407..3e32b72 100644 --- a/main/res/xml/preferences.xml +++ b/main/res/xml/preferences.xml @@ -733,6 +733,9 @@ android:defaultValue="false" android:key="@string/pref_debug" android:title="@string/init_debug" /> + <Preference + android:key="@string/pref_memory_dump" + android:title="@string/init_create_memory_dump" /> </PreferenceCategory> </PreferenceScreen> |