Tk_GetOption(3tk) on Linux

The text 2cd3161c7b9c, as Debian 6.0 (Squeeze), Debian 5.0 (Lenny) shipped it.

retrieve an option from the option database

Tk_GetOption(3tk) on Linux now