I'd still call that a bug. Tools don't belong in the Edit menu. (And do we really want a delete tool? Sounds like a hang-over from before we had selections.)
I'd still call that a bug. Tools don't belong in the Edit menu. (And do we really want a delete tool? Sounds like a hang-over from before we had selections.)