New gtkpaned look.

[jrb redhat com]

Hi,

Anders Carlsson and I sat down and came up with a new look for gtkpaned,
that will hopefully make it look both more modern, and more elegant.
Screenshot is available at:

http://people.redhat.com/jrb/images/for_andersca.png

It basically replaces the handle with 7 dots.  The source, and a patch
against gtk+ HEAD is available at

http://people.redhat.com/jrb/files/gtksplitter/

What do people think of it?
Comments???

Thanks,
-Jonathan