#1 GTK_OPTION_MENU is deprecated

[Matthew L Daniel]

As detailed in the API documentation:
http://developer.gnome.org/doc/API/2.2/gtk/GtkOptionMenu.html

and discussed (among other places) here:
http://groups.google.com/groups?hl=en&lr=&ie=UTF-8&c2coff=1&safe=off&threadm=c283ip%242jpr%241%40FreeBSD.csie.NCTU.edu.tw&rnum=10&prev=/groups%3Fq%3DGTK_OPTION_MENU%26hl%3Den%26lr%3D%26ie%3DUTF-8%26c2coff%3D1%26safe%3Doff%26sa%3DN%26tab%3Dwg

I started looking at this when my compile failed with:
: undefined reference to `GTK_OPTION_MENU'
at link time.

Recompiling without GTK_DISABLE_DEPRECATED defined
cured this (as detailed in the post referenced above).