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 | |
| 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')
| -rw-r--r-- | main/res/values/preference_keys.xml | 1 | ||||
| -rw-r--r-- | main/res/values/strings.xml | 3 | ||||
| -rw-r--r-- | main/res/xml/preferences.xml | 3 |
3 files changed, 7 insertions, 0 deletions
diff --git a/main/res/values/preference_keys.xml b/main/res/values/preference_keys.xml index c26f5b3..4423e33 100644 --- a/main/res/values/preference_keys.xml +++ b/main/res/values/preference_keys.xml @@ -168,4 +168,5 @@ <string name="pref_twitter_cache_message">twitter_cache_message</string> <string name="pref_twitter_trackable_message">twitter_trackable_message</string> <string name="pref_ec_icons">ec_icons</string> + <string name="pref_memory_dump">memory_dump</string> </resources>
\ No newline at end of file diff --git a/main/res/values/strings.xml b/main/res/values/strings.xml index a9d92d0..72a25c1 100644 --- a/main/res/values/strings.xml +++ b/main/res/values/strings.xml @@ -541,6 +541,9 @@ <string name="init_maintenance">Maintenance</string> <string name="init_maintenance_directories_note">c:geo stores images, log images and other files related to a cache in a separate directory. In some cases (like importing/exporting the database) this directory may contain outdated files, which can be deleted here.</string> <string name="init_maintenance_directories">Delete orphaned files</string> + <string name="init_create_memory_dump">Create memory dump</string> + <string name="init_memory_dump">Memory dump</string> + <string name="init_memory_dumped">Memory dumped to %s</string> <string name="settings_open_website">Open website</string> <string name="settings_settings">Settings</string> <string name="settings_information">Information</string> 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> |