The text 03c37118fccb, as Debian 8 (Jessie) shipped it.
set and check a widget's sensitivity state
XtSetSensitive(3) on Linux now
