diff options
| author | Daniel Gultsch <daniel@gultsch.de> | 2016-09-28 12:24:50 +0200 |
|---|---|---|
| committer | Daniel Gultsch <daniel@gultsch.de> | 2016-09-28 12:24:50 +0200 |
| commit | f0dbcce58fecd294efdc2d049f85b8bd794aad3e (patch) | |
| tree | 4936c68070ec8d086a1b39c4ec6d17a77a1acb4a /src/main/res | |
| parent | 5cd8917122abebe317388fc9cb145b28d58f6d30 (diff) | |
expert 'setting' to remove omemo identity. fixes #2038
Diffstat (limited to 'src/main/res')
| -rw-r--r-- | src/main/res/values/strings.xml | 3 | ||||
| -rw-r--r-- | src/main/res/xml/preferences.xml | 4 |
2 files changed, 7 insertions, 0 deletions
diff --git a/src/main/res/values/strings.xml b/src/main/res/values/strings.xml index e53742e9..6d5476d2 100644 --- a/src/main/res/values/strings.xml +++ b/src/main/res/values/strings.xml @@ -687,4 +687,7 @@ <string name="wrong_conference_configuration">This is not a private, non-anonymous conference.</string> <string name="this_conference_has_no_members">There are no members in this conference.</string> <string name="report_jid_as_spammer">Report this JID as sending unwanted messages.</string> + <string name="pref_delete_omemo_identities">Delete OMEMO identities</string> + <string name="pref_delete_omemo_identities_summary">Regenerate your OMEMO keys. All your contacts will have to verify you again. Use this only as a last resort.</string> + <string name="delete_selected_keys">Delete selected keys</string> </resources> diff --git a/src/main/res/xml/preferences.xml b/src/main/res/xml/preferences.xml index 68b2f73a..b01faa6b 100644 --- a/src/main/res/xml/preferences.xml +++ b/src/main/res/xml/preferences.xml @@ -183,6 +183,10 @@ android:key="allow_message_correction" android:title="@string/pref_allow_message_correction" android:summary="@string/pref_allow_message_correction_summary"/> + <Preference + android:key="delete_omemo_identities" + android:title="@string/pref_delete_omemo_identities" + android:summary="@string/pref_delete_omemo_identities_summary"/> </PreferenceCategory> <PreferenceCategory android:key="connection_options" |