[no subject]

This is the same problem with the double bevel on menubars though. I
think we have to add something to GTK so apps can force-override style
properties.
 
Havoc