761226 - System font size setting not respected by the Style Editor

Status: RESOLVED DUPLICATE of bug 723909

(DevTools :: Style Editor, defect, P3)

Description

[Mihai Sucan [:msucan]]

Ubuntu features an option to change font sizes for the entire system. The Style Editor does not respect this option: UI around the source editor is the same normal font size, even if I change the option in Ubuntu and even if the rest of the Firefox UI respects the system setting.

I assume this problem is valid on other Linux distributions as well, perhaps even Mac and Windows systems - if we hard code font sizes in our UI.

Comment 1

[Paul Rouget [:paul]]

iirc, we had to force the font-size of the element in the toolbars to align them.

Comment 2

[Mihai Sucan [:msucan]]

Maybe a solution is to use relative font-sizes or font-size-adjust. I didn't look into how we can fix these visual accessibility bugs, yet, but I definitely want to see these fixed.

Comment 3

[Paul Rouget [:paul]]

(In reply to Mihai Sucan [:msucan] from comment #2)
> Maybe a solution is to use relative font-sizes or font-size-adjust. I didn't
> look into how we can fix these visual accessibility bugs, yet, but I
> definitely want to see these fixed.

Yes - of course - we try to use relative sizes as much as possible.
The alignments of these toolbars were problematic back then (the second toolbar doesn't include any text, but still, needs to follow the size of the text), but I might know how to do that now (we could add a   in the toolbar).