Огромный размер шрифта в Java VisualVM

3

Я использую 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/
Конрад Хеффнер
источник

Ответы:

0

Эта проблема больше не возникает в Gnome Shell 3.22.1 в VisualVM 1.3.8, но я не могу сказать, какая версия и какая из двух была виновником.

Конрад Хеффнер
источник