Add preference toggle for switching on/off WKD

This commit is contained in:
Wiktor Kwapisiewicz
2018-05-22 21:46:31 +02:00
parent fe78850b3d
commit 92e7995b83
4 changed files with 9 additions and 1 deletions

View File

@@ -347,7 +347,7 @@ public class Preferences {
return CloudSearchPrefs.create(mSharedPreferences.getBoolean(Pref.SEARCH_KEYSERVER, true),
mSharedPreferences.getBoolean(Pref.SEARCH_KEYBASE, true),
false,
true,
mSharedPreferences.getBoolean(Pref.SEARCH_WEB_KEY_DIRECTORY, true),
getPreferredKeyserver());
}