diff options
| author | Mohamed Zenadi <mohamed@zenadi.com> | 2015-06-04 20:10:13 +0200 |
|---|---|---|
| committer | Mohamed Zenadi <mohamed@zenadi.com> | 2015-06-07 14:33:02 +0200 |
| commit | 85d4ca3f965e558cc3fa7eb0a8de41cc2c7f0e72 (patch) | |
| tree | d10f7980d42c4fc97e1ad87cbbd878ccd6eaac6b | |
| parent | fa01c804359a506504bd587ea27b6801310d64bb (diff) | |
disable not used option
| -rw-r--r-- | app/src/main/res/xml/preference.xml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/app/src/main/res/xml/preference.xml b/app/src/main/res/xml/preference.xml index bbb1ed24..d9d4603d 100644 --- a/app/src/main/res/xml/preference.xml +++ b/app/src/main/res/xml/preference.xml @@ -17,7 +17,8 @@ <org.openintents.openpgp.util.OpenPgpAppPreference android:key="openpgp_provider_list" android:title="@string/pref_provider_title" /> <org.openintents.openpgp.util.OpenPgpKeyPreference - android:key="openpgp_key" android:title="Select key" /> + android:key="openpgp_key" android:title="Select key" + android:enabled="false"/> <Preference android:title="@string/pref_key_title" android:key="openpgp_key_id_pref" /> </PreferenceCategory> |