Topic: Gnome 3.21 & caratteri interfaccia

[fabrixx]

Ho appena aggiornato su Arch Linux Gnome alla versione dev (3.21 al momento), tutto è andato bene a parte SeaMonkey che mostra dei caratteri minuscoli (non i caratteri delle pagine ma le scritte sulla barre).
Ho un monitor UHD e ho questo problema anche con Firefox, mentre Chrome viene visualizzato normalmente.

In passato avevo settato layout.css.devPixelsPerPx a 2.5 da about:config ma questa opzione mi varia solo la dimensione dell'interfaccia mantenendo i caratteri di icone, segnalibri e pulsanti minuscoli.
Se da Gnome Tweak aumento il DPI la cosa si risolve ma il resto delle applicazioni ha caratteri enormi.

Sospetto un problema con le gtk  che sono state aggiornate, in teoria ricompilandolo a modo la cosa si potrebbe risolvere..

[iacchi]

SeaMonkey e Firefox li ricompili con le GTK nuove? Altrimenti potrebbe essere veramente un problema di librerie. Visto che comunque ricompili i programmi ogni tre per due, fai una prova e se il problema persiste apriamo un bug direi.

[fabrixx]

No, si parla delle build scaricate da mozilla, stasera pensavo appunto di farmi una ricompilatina...

[fabrixx]

La compilazione con gtk3 non ha cambiato nulla tranne un crash del profilo.
Un nuovo profilo si avviava senza problemi.

Alla fine ho "risolto" con questo parametro per userChrome anche se l'interfaccia ha ancora qualche problemino grafico come un menu contestuale enorme.

Codice: [Seleziona]

@namespace url("http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul"); /* set default namespace to XUL */

 * {font-size: 15px !important;
}

Poi ho reimportato le mbox in Thunderbird e il resto in Firefox (versioni pacchettizzate di Arch) poichè non sono riuscito a visualizzare a meglio la posta in SeaMonkey.
Al momento resto cosi, domani aprirò un bug.

Fortunatamente mi pare di aver recuperato tutta la posta correttamente.

[iacchi]

Allora si', decisamente meglio aprire un bug e prendere questo problema in fasce. Lo puoi aprire te o lo devo fare io?

[fabrixx]

Ci ho provato io:
https://bugzilla.mozilla.org/show_bug.cgi?id=1299897

[Underpass]

Ciao Fabrixx, hai provato anche a cambiare tema?

[fabrixx]

Si, ho provato pure in safemode.

Inizialmente non avevo il tema standard.