D'après ce que je peux comprendre en cherchant un peu, il y a un problème avec le presse-papiers d'Ubuntu 18.04 LTS et la vidéo Wayland. Cependant, j'utilise x11 :
$ echo $XDG_SESSION_TYPE
x11Mon problème est donc le suivant : lorsque j'utilise le copier-coller, par exemple dans LibreOffice, la formule n'est pas copiée dans le presse-papiers, mais uniquement le résultat, dans tous les cas. J'ai supprimé et réinstallé LibreOffice, supprimé mon profil LibreOffice, et essayé une version plus récente en utilisant Snap install.
J'ai un autre PC qui exécute la même installation. Celui-ci ne présente pas le problème. Il me semble donc qu'il peut y avoir un problème avec l'élément presse-papiers de KDE.
Existe-t-il un moyen de supprimer et de réinstaller le presse-papiers ? Ou de le réparer d'une manière ou d'une autre ?
Quelqu'un a-t-il d'autres suggestions ?
EDIT
Je tiens à souligner que cette perte de format se produit également dans les documents. Ainsi, dans LibreOffice Writer, copier et coller du texte en gras donne du texte normal, c'est-à-dire que la mise en forme n'est pas copiée dans le presse-papiers. Seul le texte est copié.
