Comment 104 for bug 39328

David Jurenka's patch works (Many Thanks!), but only for the window list, not the workspace switcher - which is actually where I get the most problems: I've used Windows for years, so I generally use Alt-Tab to switch windows, but I still use the mouse to switch workspaces.
As suggested by xtknight, running "killall gnome-panel && gnome-panel" will restart the panels, without requiring a log-out.

@ Vish - I agree with psarhjinian and zorblek - this definitely meets the requirements of a papercut.

@Marcus #48 - why should the workspace switcher be a separate bug? As I see it, everyone who has a problem with one, will have a problem with the other. Also, any discussion about options, their locations in menus/gedit, and their defaults, would apply equally to both threads.
If it has already been created as a separate bug, does anyone have a link?