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

[noreply at thewildbeast.co.uk]

https://www.thewildbeast.co.uk/claws-mail/bugzilla/show_bug.cgi?id=4013

--- Comment #10 from Ricardo Mones <mones at users.sourceforge.net> ---
(In reply to comment #8)
[…]
> - Replace "Disabled" with empty to make it easier for the eye to see the
> actual shortcuts

That string comes from GTK+ itself, is not set by clawsker. If you have
pointers on how to change it I'll be glad to read them and see if it can be
done easily.

[…]
> Do any of these need a separate bug/enhancement report?

Yes, they have nothing to do with this report. Some were already planned
(warning about duplicates for example), but feel free to add them here and/or
provide patches for fixing them.

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