Command Bar: Store and offer most used commands

I guess I’m not the only one who uses the same set of commands over and over again. While it’s already nice that the command bar suggests the last command as default, it would be even nicer if Dorico kept count of which command is used how often and would then suggest them first. So you can use the arrow keys to select one instead of typing the command (or its shortcut) again.

(I compare this to a country selector on a website that suggests sensitive defaults. E.g. if you have a website mainly targeting DACH customers, you would show them “Germany, Austria, Switzerland” first and only then Afghanistan etc.)

This is in fact how the jump bar already works: when you hit J, then hit down arrow to see a list of the commands you’ve most commonly triggered via the jump bar.