open-keychain/OpenKeychain/src/main/res/xml/proxy_prefs.xml

<?xml version="1.0" encoding="utf-8"?>
<PreferenceScreen xmlns:android="http://schemas.android.com/apk/res/android">
    <CheckBoxPreference
            android:key="useTorProxy"
            android:persistent="true"
            android:title="@string/pref_proxy_tor_label"
            android:summary="@string/pref_proxy_tor_summary" />
    <CheckBoxPreference
            android:key="useNormalProxy"
            android:persistent="true"
            android:title="@string/pref_proxy_normal" />
    <EditTextPreference
        android:key="proxyHost"
        android:persistent="true"
        android:defaultValue="127.0.0.1"
        android:title="@string/pref_proxy_host_label"
        android:cursorVisible="true"
        android:textCursorDrawable="@null"
        android:inputType="textEmailAddress"/>
    <EditTextPreference
            android:key="proxyPort"
            android:defaultValue="8118"
            android:persistent="true"
            android:title="@string/pref_proxy_port_label"
            android:textCursorDrawable="@null"
            android:inputType="number" />
    <ListPreference
            android:entries="@array/pref_proxy_type_entries"
            android:entryValues="@array/pref_proxy_type_values"
            android:defaultValue="@string/pref_proxy_type_value_http"
            android:key="proxyType"
            android:persistent="true"
            android:title="@string/pref_proxy_type_label" />
</PreferenceScreen>