Tampon du presse-papier Gnome
Depuis qu'Ubuntu Gnome a remplacé Unity en 17h10, je ne parviens pas à copier-coller. J'ai lu le article concernant l'ajout d'une extension et j'ai vu d'autres sites recommander des applications pour le gérer.
N'y a-t-il pas moyen d'augmenter la taille du tampon de copie/collage de Gnome sans ces éléments?
Merci.
Dans la dernière version d'Ubuntu (18.04 LTS), il semble qu'ils aient augmenté la taille de la mémoire tampon ou fixé un problème, car je peux désormais coller de grandes sélections sans problème. Aucune extension supplémentaire nécessaire.