You seem to be asking for scrolling on the workspace switcher, which is not what this bug was about. That's actually https://bugzilla.gnome.org/show_bug.cgi?id=520779 which has yet to be fixed.
You seem to be asking for scrolling on the workspace switcher, which is not what this bug was about. That's actually https:/ /bugzilla. gnome.org/ show_bug. cgi?id= 520779 which has yet to be fixed.