标签：font-rendering

gnome – 如何更改字体 DPI 设置？

Θ2022-08-17 23:57 ✥11.10, dpi, font-rendering, gnome