The text 2d059fa35d28, as Debian 1.2 (Rex) shipped it.
Set the value of the WM_COLORMAP_WINDOWS property
XtSetWMColormapWindows(3x) on Linux now
