On Thu, 2011-04-14 at 09:55 -0400, G. Michael Carter wrote: > or a hot key to restart the gnome shell, without killing the running > apps?
Alt-F2 restart (or just 'r' for convenience) ... Florian _______________________________________________ gnome-shell-list mailing list [email protected] http://mail.gnome.org/mailman/listinfo/gnome-shell-list
