dtk_setcolor_shape(3) on Linux

The text 80fd75114be0, as Debian 8 (Jessie), Debian 7 (Wheezy) shipped it. The page shows this text now.

Set the color of a shape

dtk_setcolor_shape(3) on Linux now