private void on_radio_device_toggled(object o, EventArgs args)
{
device_zoom_buttons_unsensitive();
if(radio_device_other.Active)
entry_device_other.Sensitive = true;
else {
entry_device_other.Sensitive = false;
if(radio_contact_steel.Active)
button_zoom_contact_steel.Sensitive = true;
else if(radio_contact_modular.Active)
button_zoom_contact_modular.Sensitive = true;
else if(radio_infrared.Active)
button_zoom_infrared.Sensitive = true;
}
on_entries_required_changed(new object(), new EventArgs());
}