jamais eu de soucis de stabilité des extensions avec une mise à jour (testé sous debian stable et sous nixos)
Comme dit dans d'autres messages, on peut ajuster l'interface de gnome, c'est ni mieux ni pire que les autres, faut juste chercher un peu.
Il y a Gnome Tweak qui permet aussi d'ajuster plein de trucs.
[^] # Re: Ctrl + N
Posté par jigso . En réponse au message Pourquoi GNOME est devenu un logiciel privateur de liberté ?. Évalué à 2.
Pour le menu : https://extensions.gnome.org/extension/6/applications-menu/
jamais eu de soucis de stabilité des extensions avec une mise à jour (testé sous debian stable et sous nixos)
Comme dit dans d'autres messages, on peut ajuster l'interface de gnome, c'est ni mieux ni pire que les autres, faut juste chercher un peu.
Il y a Gnome Tweak qui permet aussi d'ajuster plein de trucs.