Here's a screenshot of gcalctool once I upgraded to GTK+ 3.2. The menubar, menus themselves and menu highlight seem to have lost their borders.
Are these examples of the theme-related strangeness you mentioned? -- Sam Morris <https://robots.org.uk/> 3412 EA18 1277 354B 991B C869 B219 7FDB 5EA0 1078
<<attachment: GTK+ 3.2 theming issues>>
signature.asc
Description: This is a digitally signed message part
