-
Arik Devens authored
Replaced gtk_widget_set_sensitivity with gnome_druid_set_sensitivity so that our preferences are not clobbered. Fixes bug 4567. Also added a gettext call to the preferences code so that userlevels are translated. Fixes bug 6924.
95328f32