ConfigWidg(3tk) on Linux

The text 653f300978db, as Debian 1.2 (Rex), Debian 1.1 (Buzz) shipped it.

process configuration options for widgets

ConfigWidg(3tk) on Linux now