The source files here are taken from Adrian E. Feiguin's GtkExtra,
version 0.99.17.

A lot that is not needed for gretl has been cut out.

The web site for this widget set is:

http://gtkextra.sourceforge.net/

