Comment 7 for bug 1813373

@Wayne please check out the attached patch, it changes the behavior slightly but I think for the better.

There is one more issue not yet fixed by this patch: When you use the right-click menu to select one of the items involved in a DRC marker, the mouse cursor will be warped unexpectedly once the menu is closed. This is a bug in the tool framework that I'm looking in to separately.