Pluma Truc Et Astuces

Ici, vous trouverez des trucs et astuces concernant 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.

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

Dans un terminal en user:

gsettings set org.mate.pluma history-search-for "['']"

Et l’équivalent pour le rechercher/remplacer (CTRL+H)

gsettings set org.mate.pluma history-replace-with "['']"

Pour désactiver la sauvegarde de la dernière position dans les documents, on peut utiliser cette commande gsetting:

gsettings set org.mate.pluma restore-cursor-position false

pour réactiver la fonction, remplacer “false” par “True” à la fin de la commande ci-dessus