答案1
我相信 gnome-tweak-tool 应该可以解决这个问题。您可以更改整个桌面的字体大小。它将创建一个名为“高级设置”的应用程序。要获取 gnome-tweak-tool,请打开您的终端并:
sudo add-apt-repository ppa:ricotz/testing
sudo apt-get update
sudo apt-get install gnome-tweak-tool
完成后打开 gnome-tweak-tool 并转到字体. 根据需要进行调整。
答案2
听起来像是系统分辨率问题。按下键盘上的 Super/Windows 键,搜索“显示器”,然后打开显示设置应用。您应该能够亲自更改显示分辨率,以正确满足您的需求。