The text 4c7c4fb1e2dd, as Debian 6.0 (Squeeze) shipped it.
set and check a widget's sensitivity state
XtSetSensitive(3) on Linux now
