On Thu, 2011-12-08 at 14:30 +0000, Marko Vojinovic wrote: > > Activate "activities" by putting the mouse into the upper-left corner of the > screen. Then you can see a list of currently open workspaces on the far right > on the screen, where you can click to switch between them (and make an > indecent-for-public comment on mouse-mileage of the desktop design). Or install gnome-shell-extension-righthotcorner, move your mouse to the top right corner, and make indecent-for-public comment on the fact that options are installable rather than configurable. -- Matthew Saltzman Clemson University Mathematical Sciences mjs AT clemson DOT edu -- users mailing list users@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe or change subscription options: https://admin.fedoraproject.org/mailman/listinfo/users Guidelines: http://fedoraproject.org/wiki/Mailing_list_guidelines Have a question? Ask away: http://ask.fedoraproject.org