From 85d4ca3f965e558cc3fa7eb0a8de41cc2c7f0e72 Mon Sep 17 00:00:00 2001 From: Mohamed Zenadi Date: Thu, 4 Jun 2015 20:10:13 +0200 Subject: [PATCH] disable not used option --- app/src/main/res/xml/preference.xml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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 @@ + android:key="openpgp_key" android:title="Select key" + android:enabled="false"/>