The text 781c5d0ff2fc, as Debian 2.2 (Potato) shipped it.
Standard options supported by widgets
options(3tk) on Linux now
