The shortcuts should never appear if you've used a Super-shortcut. So yes, this is a bug, patches welcome.
The shortcuts should never appear if you've used a Super-shortcut. So
yes, this is a bug, patches welcome.