Re: event-modifiers with control in mouse events

[Richard Stallman]

    I believe what's happening is that `event-modifiers' only returns a correct
    answer if the event has already been produced by some real input
    (e.g. if you've already pressed the mouse-1 button while holding the
    control key).

    This is because `event-modifiers' just looks up the `event-symbol-elements'
    symbol property which is like a cache filled by the input-processing C code.

This is correct.

I think this is a defect, and that event-modifiers ought to be fixed.