I have gnome-panel with various extensions installed. The right half is crammed so that many items are not displayed (I already removed volume, username, a11y, ...). Is there a way to make the items stretch to the left, to the unused space?
EDIT: I am using gnome-shell 3.4 from precise repos.
This seems to do the trick: https://extensions.gnome.org/extension/51/extend-left-box/
Here is an example: