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