Files
servo/components/script/dom/webidls
bors-servo f18782fb0e Auto merge of #17578 - pyfisch:input-event, r=jdm
Implement the InputEvent

Add WebIDL, from UI Events working draft.
Implement script type for event.

Note that actually firing InputEvents is not part of this commit.

<!-- Please describe your changes on the following line: -->
As part of my effort to improve [keyboard handling](https://groups.google.com/forum/#!topic/mozilla.dev.servo/e6R7eBDjo4M) it is necessary to introduce the InputEvent. While I have a working prototype using the input event this still needs a lot of work  before it can be merged into servo.

cc @jdm

<!-- Reviewable:start -->
---
This change is [<img src="https://reviewable.io/review_button.svg" height="34" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/servo/17578)
<!-- Reviewable:end -->
2017-07-06 10:55:41 -07:00
..
2016-10-17 16:08:07 -04:00
2017-06-09 13:57:30 +02:00
2016-10-17 16:08:07 -04:00
2016-10-17 16:08:07 -04:00
2016-10-17 16:08:07 -04:00
2017-05-17 09:01:05 -05:00
2017-01-07 23:17:55 -08:00
2016-11-15 06:58:16 -08:00
2016-10-17 16:08:07 -04:00
2016-10-17 16:08:07 -04:00
2016-10-17 16:08:07 -04:00
2016-09-29 08:19:41 -07:00
2016-10-17 16:08:07 -04:00
2016-09-23 10:19:11 -04:00
2017-04-12 15:43:14 +02:00
2017-04-12 15:43:14 +02:00
2017-04-12 15:43:14 +02:00
2017-04-12 15:43:14 +02:00
2017-04-12 15:43:14 +02:00
2017-06-09 13:57:30 +02:00
2016-10-17 16:08:07 -04:00
2017-07-06 19:37:55 +02:00
2016-10-17 16:08:07 -04:00
2016-12-02 23:46:40 +03:00
2017-05-15 18:15:38 -04:00
2017-05-15 18:15:38 -04:00
2016-10-17 16:08:07 -04:00
2017-07-05 22:38:29 +02:00
2016-10-17 16:08:07 -04:00
2016-10-17 16:08:07 -04:00
2016-10-17 16:08:07 -04:00
2016-10-17 16:08:07 -04:00
2016-10-17 16:08:07 -04:00
2016-10-17 16:08:07 -04:00
2017-06-09 13:57:30 +02:00
2016-11-04 12:36:23 +01:00
2016-10-17 16:08:07 -04:00
2016-10-17 16:08:07 -04:00
2016-10-17 16:08:07 -04:00
2016-10-17 16:08:07 -04:00
2017-07-05 22:38:29 +02:00
2017-07-05 22:38:29 +02:00
2017-05-17 09:01:05 -05:00
2016-10-17 16:08:07 -04:00