@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.
@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.