Tk_GetOption(3tk) on Linux

The text 0a096feccce3, as Debian 4.0 (Etch), Debian 3.1 (Sarge) shipped it.

retrieve an option from the option database

Tk_GetOption(3tk) on Linux now