void 
on_default_radio_toggled (GtkWidget *widget, gpointer data) 
{
	GtkWidget *entry;
	entry = glade_xml_get_widget(xml_pref,"http_proxy_entry");
	gtk_entry_set_editable(GTK_ENTRY(entry),FALSE);	
}