Tk_ConfigureInfo(3tk) on Linux

The text 34d9adb05fc7, as Debian 2.1 (Slink), Debian 2.0 (Hamm), Debian 1.3 (Bo) shipped it.

process configuration options for widgets

Tk_ConfigureInfo(3tk) on Linux now