On 2/5/19 1:59 PM, Patrick O'Callaghan wrote:
I just checked the Gnome widget. It's just a slightly
better-looking
version of xkeycaps and doesn't do what I'm talking about.
Can you please provide a clear (detailed?) explanation of what you're
looking for?