Gnome.PropertyBox changed()
When a setting has changed, the code needs to invoke this routine to make the Ok/Apply buttons sensitive.