Di recente ho installato l'ultima versione del desktop KDE Plasma (5.12) sul mio sistema, Ubuntu 17.10. In genere mi piacciono il layout e l'aspetto, ma alcuni caratteri sono pixelati in alcune applicazioni. Ho provato a riaccedere all'ambiente Unity e non ci sono problemi.
Ho cercato nei forum problemi simili e sembra che i caratteri non siano fatti per l'alta risoluzione. La parte strana è che alcuni caratteri sono pixelati e altri no, anche quando si usano gli stessi caratteri, quindi non capisco quale possa essere il problema.
Esempi di questo sono in TexStudio, dove la linea selezionata appare liscia, mentre il resto appare sfocato, anche l'output PDF è sfocato.
Lo stesso problema si trova in Scopri il gestore pacchetti
Qualche idea su cosa causa questo problema?
[EDIT:] Su richiesta ho verificato la mia versione del desktop Plasma. Questo è quello che posso trovare:
$ apt-cache policy plasma-desktop
plasma-desktop:
Installert: 4:5.12.3-0ubuntu1~ubuntu17.10~ppa1
Kandidat: 4:5.12.3-0ubuntu1~ubuntu17.10~ppa1
Versjonstabell:
*** 4:5.12.3-0ubuntu1~ubuntu17.10~ppa1 500
500 http://ppa.launchpad.net/kubuntu-ppa/backports/ubuntu artful/main amd64 Packages
100 /var/lib/dpkg/status
4:5.10.5-0ubuntu1 500
500 http://no.archive.ubuntu.com/ubuntu artful/universe amd64 Packages
$ which plasmashell
/usr/bin/plasmashell
$ plasmashell --version
plasmashell 5.12.3
KDE è stato installato in base a qualcosa del genere .
sudo apt-get install kubuntu-desktop
. I repository erano precedenti all'installazione, ma non ne ho aggiunti di nuovi.
apt-cache policy plasma-desktop
, which plasmashell
e plasmashell --version
? Grazie.