A request for more information appears in the upstream bug tracker: "I can't reproduce here. Does it still happen with 2.17.91? Also, does it happen with all themes?" -- Workspace switcher does not touch bottom of screen https://launchpad.net/bugs/33842