I'm thinking about buying one of these:
https://system76.com/laptops/galagoBut it has HiDPI, and I'm curious what people's experience is using LyX with HiDPI screens under Linux (KDE, in my case). Help? Richard
I'm thinking about buying one of these:
https://system76.com/laptops/galagoBut it has HiDPI, and I'm curious what people's experience is using LyX with HiDPI screens under Linux (KDE, in my case). Help? Richard