On Wed, Feb 19, 2014 at 9:04 AM, Jens Petersen <petersen at redhat.com> wrote: > [...] > I do hope that gnome-shell resource performance could be improved though. We have been doing that since 3.0 if you have something specific please file a bug ... but that's OT so lets take it elsewhere (upstream bugzilla ;) )