In the case when an edit_number widget has been
disabled on Mac OS X, it is still possible to click on
the label of the widget to access and utiltize the
semitransparent scrubby slider, thus modifying the
value of the widget. It should not be allowed.
