diff options
| author | Daniel Gultsch <daniel@gultsch.de> | 2015-11-28 20:11:38 +0100 |
|---|---|---|
| committer | Daniel Gultsch <daniel@gultsch.de> | 2015-12-01 12:00:50 +0100 |
| commit | f0b1761ec3826b72fe3b20032b532dc5b1adfc1c (patch) | |
| tree | 823fdcf119dd96bc062a22dc3527943cc407e23e /src/main/res/xml/preferences.xml | |
| parent | 06cadab7ccd315c35f1325b4d95f0bf7a24082ea (diff) | |
initial tor support
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" |