• # stable ?

    Posté par (site web personnel) . En réponse à la dépêche Cinnamon 1.2, le fork de Gnome-shell. Évalué à 2.

    stable ? oui c'est peut-être mieux qu'avant mais j'ai du réussir à le planter en faisant une recherche dans le menu

    enfin bon je viens de découvrir et j'aime bien
    dommage qu'on puisse pas modifier la taille des polices. à part le faire à la main dans le css.

    et comment on fait pour changer le thème gtk ? je vois pas trop de thème muffin si c'est ce qu'il faut ??