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

[W. Martin Borgert]

Quoting "Michael Biebl" <biebl at debian.org>:
> Please file those type of bug reports upstream (672314, 672174, 672166,
> ...).

OK.

> They are not Debian specific and not something we can do anything about
> in Debian.

This depends, however. In some cases problems might be fixable
using patches, but it is not clear to me, whether upstream
would accept such patches.

Anyway, I will file all such bugs directly to upstream!