diff options
author | Daniel Gultsch <daniel@gultsch.de> | 2015-11-28 20:11:38 +0100 |
---|---|---|
committer | Christian S <christian@pix-art.de> | 2015-12-04 20:02:05 +0100 |
commit | c1677af5b1872846c39514e5c488381de67be63c (patch) | |
tree | 8d87764082c000b998ff4b57cc739ac0790cad66 /src/main/res/xml | |
parent | 45e961f02b1f60859741af16f6d278b0cfdfb121 (diff) |
initial tor support
Diffstat (limited to 'src/main/res/xml')
-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 c09315ba3..c44f960e8 100644 --- a/src/main/res/xml/preferences.xml +++ b/src/main/res/xml/preferences.xml @@ -167,6 +167,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" |