Number keys should also be usable to change the priority on things other than the priority tool

[Michi01]

With the Outbreak Upgrade, the priority settings while using the priority tool can be changed using the number keys on the player's keyboard. However, this does not work for any of the other tools. The displayed number settings were also made larger for the priority tool but not for any of the other tools. I think it might've been intended for these changes to be applied to the other tools too, but was forgotten, or it wasn't noticed that they don't actually apply to them.
Below are screenshots of the priority tool and the dig tool, which as mentioned doesn't have the larger numbers and which's numbers can't be changed with the keyboard number keys.