• [^] # Re: Nombre

    Posté par (site web personnel, Mastodon) . En réponse au message Menu raccourcis Gnome. Évalué à 2.

    Ça pourrait bien être ça, en effet : dans l'intervalle j'en ai ajouté et j'ai désormais le sous-menu des deux côtés. Alors est-ce dû à ça ou à un apt-get upgrade intervenu entre-temps; mystère. Problème résolu anyway. Merci!

    La gelée de coings est une chose à ne pas avaler de travers.