我使用 GNOME Shell 3.12.2 并将所有字体设置为 11 号,但 Java VisualVM 却使用了非常大的字体。我该如何更改?
VisualVM 详细信息
Version:
1.8.0 (Build 1360-130911); platform 20130911-unknown-revn
System:
Linux (3.16.4-1-ARCH) , amd64 64bit
Java:
1.8.0; Java HotSpot(TM) 64-Bit Server VM (25.0-b70, mixed mode)
Vendor:
Oracle Corporation, http://java.oracle.com/
答案1
该问题在 VisualVM 1.3.8 中的 Gnome Shell 3.22.1 上不再出现,但我无法说出哪个版本以及哪个版本是罪魁祸首。