equal
deleted
inserted
replaced
28 android:key="settings_key_priority" |
28 android:key="settings_key_priority" |
29 android:title="@string/SettingsPriorityTitle" |
29 android:title="@string/SettingsPriorityTitle" |
30 android:summary="@string/SettingsPrioritySummary" |
30 android:summary="@string/SettingsPrioritySummary" |
31 android:numeric="signed" |
31 android:numeric="signed" |
32 android:defaultValue="0" /> |
32 android:defaultValue="0" /> |
33 <CheckBoxPreference android:title="@string/SettingsCheckboxText" |
|
34 android:defaultValue="false" android:summary="@string/SettingsGmail" |
|
35 android:key="settings_key_gmail" /> |
|
36 </PreferenceCategory> |
33 </PreferenceCategory> |
37 |
34 |
38 <PreferenceCategory android:title="@string/network_preferences"> |
35 <PreferenceCategory android:title="@string/network_preferences"> |
39 <PreferenceScreen android:key="proxy" android:title="@string/SettingsProxy" |
36 <PreferenceScreen android:key="proxy" android:title="@string/SettingsProxy" |
40 android:summary="@string/settings_proxy_sum"> |
37 android:summary="@string/settings_proxy_sum"> |