Ici, vous trouverez des trucs et astuces concernant Pluma
Qu’est-ce que Pluma ? Pluma est l’éditeur de texte inclu dans le bureau Mate qui est lui même un fork de GNOME 2. il est très simple d’emploi.
Vider la liste des précédentes recherches Quoi de plus frustrant que la suggestion systématique automatique d’une précédente recherche qui n’a rien donné parce qu’on c’est trompé dans le terme de recherche. Suite à ça, j’ai cherché comment vidé cette zone de recherche, et on peut le faire, grâce à une commande gsetting
