[editing] Do we need to spec device specific events? (#62)

We currently specify all the possible device independent events that will be triggered after device specific events. These device specific events are largely already accessible to JS in the form of onclick, onkeydown, etc. events, but not all of them (for example choosing "paste" from the right click menu), and they are available in different formats. Should we

a) define new device specific events for the missing device specific events
b) define new and additional device specific events for all of the events that will cause device independent events
c) add information about an events origin to the device independent events?

All of these have their advantages and disadvantages.

---
Reply to this email directly or view it on GitHub:
https://github.com/w3c/editing/issues/62