diff options
| author | Daniel Gultsch <daniel@gultsch.de> | 2016-01-25 21:17:53 +0100 |
|---|---|---|
| committer | Daniel Gultsch <daniel@gultsch.de> | 2016-01-25 21:17:53 +0100 |
| commit | 7c0eae80591ec6b1562168be3d2a56315afc872a (patch) | |
| tree | 5f944e25d4ca382e113bfa0db09787cfcd6cd547 /src/main/res/xml | |
| parent | 31fd425c9a41f1cc70ec92ab5876781464b236d9 (diff) | |
expert setting to trigger extended connection options
Diffstat (limited to '')
| -rw-r--r-- | src/main/res/xml/preferences.xml | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/main/res/xml/preferences.xml b/src/main/res/xml/preferences.xml index b3afe0c3..6a5974c0 100644 --- a/src/main/res/xml/preferences.xml +++ b/src/main/res/xml/preferences.xml @@ -155,6 +155,11 @@ android:key="use_tor" android:summary="@string/pref_use_tor_summary" android:title="@string/pref_use_tor"/> + <CheckBoxPreference + android:defaultValue="false" + android:key="show_connection_options" + android:summary="@string/pref_show_connection_options_summary" + android:title="@string/pref_show_connection_options"/> </PreferenceCategory> <PreferenceCategory android:title="@string/pref_input_options"> <CheckBoxPreference |