Bug#672314: gnome-shell should use GTK+ themes

[W. Martin Borgert]

wontfix 672314
thanks

Quoting althaser <althaser at gmail.com>:
> Could you please still reproduce this issue with newer gnome-shell version
> like 3.4.2-7+deb7u1 or 3.8.4-5+b1 ?
>
> Did you file to upstream ? I didn't found anything related, If so could you
> point it?

I just can't find it, but I reported this and upstream said, they like
it the way it is. IMHO, it is a terrible UX mistake to have this
inconsistency in look and feel, but anyway.