[Users] [Bug 4013] "Menu path" font size in Hotkeys tab is too small

noreply at thewildbeast.co.uk noreply at thewildbeast.co.uk
Mon Apr 23 11:31:18 CEST 2018


--- Comment #7 from Ricardo Mones <mones at users.sourceforge.net> ---
(In reply to comment #6)
> It's maybe intentional, but it only shows lazy programming here.

Won't say the opposite... :-)

> We should either use the same size and allow resizing or column (or resize
> automatically or use a scrollbar)

It already resizes automatically. The intention was to distinguish somehow
labels from hotkeys, which can't be done using same size (and bold and italic
did't look very well to my eyes).

>, or make the font size proportional to the DPI, instead of hardcoding it.

That can be done using Pango markup, which is my preferred option so far,
though still have to test it on a high-DPI display.

> Here on a 1920x1080 screen 96DPI, the font size is OK but because I'm an
> eagle-eye one, increase the DPI or use poorer eyes and it's not OK at all.

Crazy-horse agrees with Eagle-eye: fixed size not OK for white man :-)

> Or close as WONTFIX if you don't want to fix.

I'd keep that card for future fixes harder than this one ;-)

You are receiving this mail because:
You are the assignee for the bug.

More information about the Users mailing list