[trinity-devel] mozilla.org Bug 1269274 - UI text sizes no longer inherited from Linux system
25 Jul
2016
25 Jul
'16
8:35 p.m.
Has anyone here figured out if there's some other package that can be
installed or some other fix or workaround to avoid this upstream tiny UI
fonts bug with trying to use GTK3 builds of Firefox (47+) & SeaMonkey (2.43+)
without having to have Gnome3 installed?:
https://bugzilla.mozilla.org/show_bug.cgi?id=1269274
--
"The wise are known for their understanding, and pleasant
words are persuasive." Proverbs 16:21 (New Living Translation)
Team OS/2 ** Reg. Linux User #211409 ** a11y rocks!
Felix Miata *** http://fm.no-ip.com/
25 Jul
25 Jul
11:43 p.m.
On Mon, 25 Jul 2016 16:35:44 -0400
Felix Miata <mrmazda(a)earthlink.net> wrote:
Has anyone here figured out if there's some other
package that can be
installed or some other fix or workaround to avoid this upstream tiny UI
fonts bug with trying to use GTK3 builds of Firefox (47+) & SeaMonkey (2.43+)
without having to have Gnome3 installed?:
https://bugzilla.mozilla.org/show_bug.cgi?id=1269274
It seems to pick up system GTK3 settings, which you can override using a text
editor--the theming system is CSS-based.
Find a theme you like, copy its files into ~/.config/gtk-3.0/ , the check the gtk.css
and/or gtk-widgets.css files for the section containing the defaults for all widgets--
something like this:
* {
/* inherit the color from parent by default */
color: inherit;
background-color: inherit;
background-image: none;
border-image-source: none;
box-shadow: none;
}
Add to that section a line that says "font-size:12pt;" (or however large you
want it
to be) and see if that helps. It was picking up the font-face setting I have in my
theme, so related settings *should* work too.
E. Liddell
2830
days inactive
2830
days old
1 comments
2 participants
participants (2)
-
E. Liddell -
Felix Miata