The text a976ba9ac288, as Debian 1.2 (Rex) shipped it.
set and check a widget's sensitivity state
XtIsSensitive(3x) on Linux now
