Isso parece funcionar: link
Aqui está um exemplo:
Eu tenho o painel do gnome com várias extensões instaladas. A metade direita é comprimida para que muitos itens não sejam exibidos (eu já removi volume, nome de usuário, a11y, ...). Existe uma maneira de fazer os itens se estenderem para a esquerda, para o espaço não utilizado?
EDITAR : Eu estou usando o gnome-shell 3.4 de repos precisos.