Dimensione del carattere enorme in Java VisualVM

Uso GNOME Shell 3.12.2 e imposto tutti i miei caratteri sulla dimensione 11 ma Java VisualVM usa in qualche modo un carattere estremamente grande. Come posso cambiarlo? inserisci qui la descrizione dell'immagine

Dettagli di 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/

java fonts gnome

— Konrad Höffner
fonte

Risposte:

Questo problema non si verifica più su Gnome Shell 3.22.1 in VisualVM 1.3.8 ma non posso dire quale versione e quale dei due sia stato il colpevole.

— Konrad Höffner
fonte

Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.

Licensed under cc by-sa 3.0 with attribution required.