我目前使用的是 Fedora 38,X11 上使用的是 GNOME 44 - 特定窗口的标题栏非常小。这是一个例子:
我认为这可能是由我的 200% 缩放引起的问题,因为我的笔记本电脑屏幕分辨率非常高,重新启动 X11 似乎确实可以解决此问题,但我想找到一个不需要重新启动 X11 的解决方案服务器每次启动。我尝试更改字体大小但无济于事,字体大小似乎没有任何影响。有没有已知的解决方案?
编辑:发现问题,java似乎无法识别GUI比例,swing应用程序也有同样的问题。使用 GDK_SCALE 和 sun.java2d.uiScale 适用于内容,但标题栏仍然很小。