3
I use GNOME Shell 3.12.2 and set all my fonts to size 11 but Java VisualVM somehow uses an extremely large font. How can I change that?
VisualVM Details
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/