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