Indicate that the font size is in px

[Sunspark-007]

Hi, the font size selector currently allows for typing a value in, but it doesn't stick/save. As a result it's only 14,15,16, etc.

It would be nice to have the ability to use 3 digits of fractional entry.. for those using logical scaling. Right now 17x150% is 25.5, but if it allowed 17.333*150% then it would be 25.9995.

Being able to dial it in exactly (where possible) would help with bitmaps and hinting both.

[johnfactotum]

WebKitGTK does not support fractional default font sizes. It only accepts integers, in pixel. See https://webkitgtk.org/reference/webkit2gtk/stable/property.Settings.default-font-size.html. (It seems this is the case for other browsers as well.)

If you need precise control over the font size, you can do it with the user stylesheet and set any CSS style you'd like.

[Sunspark-007]

Thanks.. px is ok.. so 16 px is 12 pt at OS logical 150% but foliate scaling 100%. In a browser the zoom would be 67% to present the same. That 100% value is probably an assumption that the ppi is 96 when it's actually 144 logically.

I'm thinking cosmetically maybe it should display like this: Default font (px) this way it's obvious it's in pixels.