A pergunta foi respondida em Unix Stackexchange . Esta foi a resposta:
editar:
'/usr/share/gnome-shell/extensions/[email protected]/extension.js'
e substitua:
this.categoriesBox.box.width = 300;
por:
this.mainBox.box.width = 950;
this.categoriesBox.box.width = 500;