On Thu, Aug 02, 2012 at 04:02:23PM +0100, Pedro Francisco wrote: > Is this a known bug? > Is there anyway to help debug the issue?
One thing that would really speed it up is changing libgnome-menus. There are a few changes in 3.6 that'll help, but libgnome-menus is also a big factor in it being slow. -- Regards, Olav _______________________________________________ gnome-shell-list mailing list gnome-shell-list@gnome.org https://mail.gnome.org/mailman/listinfo/gnome-shell-list
