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

noreply at thewildbeast.co.uk noreply at thewildbeast.co.uk
Sat Jul 14 17:26:37 CEST 2018


--- 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.

More information about the Users mailing list