Simple as it sounds - provide for copying the command ID for editing tools.


It is shown for other buttons.

Seems like you also can't get at it from options.

You can search for the tool, but R clicking the results does nothing.

Checking the box for 'show command ID on tooltip' also does nothing.
