I notice (now) that KMK's original suggestion was "double mouse click modified by pressing the shift key."
That doesn't match either of our objections - so perhaps we should reconsider this.
I notice (now) that KMK's original suggestion was "double mouse click modified by pressing the shift key."
That doesn't match either of our objections - so perhaps we should reconsider this.