options(3tk) on Linux

The text 631377219996, as Debian 4.0 (Etch), Debian 3.1 (Sarge), Debian 3.0 (Woody) shipped it.

Standard options supported by widgets

options(3tk) on Linux now