On 2011-06-15 15:40, Frederic Muller wrote: > Well the only thing I could say is "this has been fixed in the > current code. A fast way for you to check would be to compile from > source using jhbuild > https://live.gnome.org/GnomeShell/ > > I used to do it when no distribution was shipping gnome3 and it's > quite straight forward. Fastest support would be on #gnome-shell > (gimpnet) whether you compile or not. You'll probably even get to > meet with the debian GNOME maintainer :-) OK, thanks for these hints! (I have to admit, I'm not a very IRCy person.) _______________________________________________ gnome-list mailing list gnome-list@xxxxxxxxx http://mail.gnome.org/mailman/listinfo/gnome-list
