The text 54c1d9c82102, as Debian 4.0 (Etch) shipped it.
set and check a widget's sensitivity state
XtSetSensitive(3) on Linux now
