21 Nov
2018
21 Nov
'18
07:25
differs between 42.3 and 15.0 For 42.3 apparently gtk2 is used. For 15.3 clearly gtk3 is used. Is this difference purposeful or necessary? Menu fonts in 15.0 are hugely smaller, not approximating the DE font size used by other apps, while in 42.3 they seem to be a perfect match. -- Evolution as taught in public schools is religion, not science. Team OS/2 ** Reg. Linux User #211409 ** a11y rocks! Felix Miata *** http://fm.no-ip.com/ -- To unsubscribe, e-mail: opensuse-factory-mozilla+unsubscribe@opensuse.org To contact the owner, e-mail: opensuse-factory-mozilla+owner@opensuse.org