| Index: tools/dom/scripts/htmleventgenerator.py
|
| diff --git a/tools/dom/scripts/htmleventgenerator.py b/tools/dom/scripts/htmleventgenerator.py
|
| index 372ecca00af35eaac5bd9f1cc8e72e6406f17ca3..6e83fd3f1b829fb5bec95c2e5f96069548267395 100644
|
| --- a/tools/dom/scripts/htmleventgenerator.py
|
| +++ b/tools/dom/scripts/htmleventgenerator.py
|
| @@ -43,8 +43,8 @@ _html_event_types = monitored.Dict('htmleventgenerator._html_event_types', {
|
| '*.change': ('change', 'Event'),
|
| '*.click': ('click', 'MouseEvent'),
|
| '*.contextmenu': ('contextMenu', 'MouseEvent'),
|
| - '*.copy': ('copy', 'Event'),
|
| - '*.cut': ('cut', 'Event'),
|
| + '*.copy': ('copy', 'ClipboardEvent'),
|
| + '*.cut': ('cut', 'ClipboardEvent'),
|
| '*.dblclick': ('doubleClick', 'Event'),
|
| '*.drag': ('drag', 'MouseEvent'),
|
| '*.dragend': ('dragEnd', 'MouseEvent'),
|
| @@ -79,7 +79,7 @@ _html_event_types = monitored.Dict('htmleventgenerator._html_event_types', {
|
| '*.mousewheel': ('mouseWheel', 'WheelEvent'),
|
| '*.offline': ('offline', 'Event'),
|
| '*.online': ('online', 'Event'),
|
| - '*.paste': ('paste', 'Event'),
|
| + '*.paste': ('paste', 'ClipboardEvent'),
|
| '*.pause': ('pause', 'Event'),
|
| '*.play': ('play', 'Event'),
|
| '*.playing': ('playing', 'Event'),
|
|
|