S'lut,
SupKurtJ wrote:C'est quand même dommage d’avoir autant bridé ce dernier gnome.....
En utilisant
les extensions, tu peux arriver a un peu de personnalisation...
Ce qui peut être dérangeant c'est le passage à une version supérieure de Gnome, les extensions installées ne sont souvent pas (encore) compatibles avec la nouvelle version (3.10 par exemple).
PS: c'est d’ailleurs la raison pour laquelle j'ai quitté Gnome.