diff options
Diffstat (limited to '')
| -rw-r--r-- | src/main/res/xml/preferences.xml | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/main/res/xml/preferences.xml b/src/main/res/xml/preferences.xml index f05738ac..6ef3c029 100644 --- a/src/main/res/xml/preferences.xml +++ b/src/main/res/xml/preferences.xml @@ -147,6 +147,13 @@ android:summary="@string/pref_remove_trusted_certificates_summary" android:title="@string/pref_remove_trusted_certificates_title"/> </PreferenceCategory> + <PreferenceCategory android:title="@string/pref_connection_options"> + <CheckBoxPreference + android:defaultValue="false" + android:key="use_tor" + android:title="@string/pref_use_tor" + android:summary="@string/pref_use_tor_summary"/> + </PreferenceCategory> <PreferenceCategory android:title="@string/pref_input_options"> <CheckBoxPreference android:defaultValue="false" |