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

2014-03-20 Thread W. Martin Borgert
wontfix 672314 thanks Quoting althaser : 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

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

2014-03-20 Thread althaser
Hey Martin, this is an old bug report. 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 ? thanks regards althaser

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

2012-05-10 Thread W. Martin Borgert
Quoting "Michael Biebl" : 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

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

2012-05-10 Thread Michael Biebl
On 10.05.2012 01:06, W. Martin Borgert wrote: > Package: gnome-shell > Version: 3.2.2.1-2 > > On 2012-05-10 00:42, Michael Biebl wrote: >> On 10.05.2012 00:11, W. Martin Borgert wrote: >>> Package: gnome-shell >>> Version: 3.2.2.1-2 >>> Severity: normal >>> >>> When changing the GTK+ theme in the

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

2012-05-09 Thread W. Martin Borgert
Package: gnome-shell Version: 3.2.2.1-2 On 2012-05-10 00:42, Michael Biebl wrote: > On 10.05.2012 00:11, W. Martin Borgert wrote: > > Package: gnome-shell > > Version: 3.2.2.1-2 > > Severity: normal > > > > When changing the GTK+ theme in the "Advanced Settings" > > (gnome-tweak-tool), it shows im