res/xml/preferences.xml
changeset 1008 9120606d6526
parent 992 3808cae96552
equal deleted inserted replaced
1007:c3598834218b 1008:9120606d6526
   139 					android:summary="@string/SettingsAdvancedRecoDelay" android:key="settings_key_reco_delay"
   139 					android:summary="@string/SettingsAdvancedRecoDelay" android:key="settings_key_reco_delay"
   140 					android:defaultValue="10" />
   140 					android:defaultValue="10" />
   141 			</PreferenceCategory>
   141 			</PreferenceCategory>
   142 			<CheckBoxPreference android:title="@string/SettingsAdvancedOptions"
   142 			<CheckBoxPreference android:title="@string/SettingsAdvancedOptions"
   143 				android:defaultValue="false" android:summary="@string/SettingsAdvancedSpecOpt"
   143 				android:defaultValue="false" android:summary="@string/SettingsAdvancedSpecOpt"
   144 				android:key="settings_key_specific_server" />
   144 				android:key="account_specific_server" />
   145 			<EditTextPreference android:singleLine="true"
   145 			<EditTextPreference android:singleLine="true"
   146 				android:dependency="settings_key_specific_server" android:name="adresse"
   146 				android:dependency="account_specific_server" android:name="adresse"
   147 				android:summary="@string/SettingsAdvancedAddOpt" android:title="@string/settings_xmpp_server"
   147 				android:summary="@string/SettingsAdvancedAddOpt" android:title="@string/settings_xmpp_server"
   148 				android:key="settings_key_xmpp_server" android:hint="@string/comments_xmpp_server" />
   148 				android:key="account_specific_server_host" android:hint="@string/comments_xmpp_server" />
   149 			<EditTextPreference android:singleLine="true"
   149 			<EditTextPreference android:singleLine="true"
   150 				android:dependency="settings_key_specific_server" android:name="port"
   150 				android:dependency="account_specific_server" android:name="port"
   151 				android:summary="@string/SettingsAdvancedPortOpt" android:title="@string/settings_xmpp_port"
   151 				android:summary="@string/SettingsAdvancedPortOpt" android:title="@string/settings_xmpp_port"
   152 				android:defaultValue="5222" android:numeric="signed" android:key="settings_key_xmpp_port"
   152 				android:defaultValue="5222" android:numeric="signed" android:key="account_specific_server_port"
   153 				android:hint="@string/comments_xmpp_port" />
   153 				android:hint="@string/comments_xmpp_port" />
   154 			<CheckBoxPreference android:title="@string/settings_full_jid_login"
   154 			<CheckBoxPreference android:title="@string/settings_full_jid_login"
   155 				android:defaultValue="false" android:summary="@string/settings_full_jid_login_sum"
   155 				android:defaultValue="false" android:summary="@string/settings_full_jid_login_sum"
   156 				android:key="full_jid_login" />
   156 				android:key="full_jid_login" />
   157 		</PreferenceScreen>
   157 		</PreferenceScreen>