UI Issues

[Colin Scott]

> No, not necessarily. Some of them might be related to Gtk version, 
> particularly since Gtk Win32 has a new maintainer. You've probably 
> noticed the traffic about the clipboard not working right since we 
> upgraded the "official" installation to Gtk2.24.

The penny has just dropped about Gtk.  There are lots of folders called "gtk-2.0", each containing a file "gtkrc".  There is also a folder called "gtk+-2.16.6" (under share/doc), but it only contains a copy of the GPL.

Colin