diff options
author | zeusintuivo <zeus@intuivo.com> | 2016-07-06 10:46:22 +0200 |
---|---|---|
committer | zeusintuivo <zeus@intuivo.com> | 2016-07-11 16:39:59 +0200 |
commit | d26bb29bb27eb6f17cd4fb79215e076d0b5139b7 (patch) | |
tree | 0a092daa086b544c5867a7dbc321009f2941da2e /components/script/dom | |
parent | 2239e827bd0ac4f23f9e15a2b2a79685b0f6d422 (diff) | |
download | servo-d26bb29bb27eb6f17cd4fb79215e076d0b5139b7.tar.gz servo-d26bb29bb27eb6f17cd4fb79215e076d0b5139b7.zip |
Rename SharedKeyboardAndMouseEventInit to EventModifierInit
Diffstat (limited to 'components/script/dom')
-rw-r--r-- | components/script/dom/webidls/EventModifierInit.webidl (renamed from components/script/dom/webidls/SharedMouseAndKeyboardEventInit.webidl) | 2 | ||||
-rw-r--r-- | components/script/dom/webidls/KeyboardEvent.webidl | 2 | ||||
-rw-r--r-- | components/script/dom/webidls/MouseEvent.webidl | 2 |
3 files changed, 3 insertions, 3 deletions
diff --git a/components/script/dom/webidls/SharedMouseAndKeyboardEventInit.webidl b/components/script/dom/webidls/EventModifierInit.webidl index 906be401f78..f61ba1b8219 100644 --- a/components/script/dom/webidls/SharedMouseAndKeyboardEventInit.webidl +++ b/components/script/dom/webidls/EventModifierInit.webidl @@ -3,7 +3,7 @@ * file, You can obtain one at http://mozilla.org/MPL/2.0/. */ // https://w3c.github.io/uievents/#dictdef-eventmodifierinit -dictionary SharedKeyboardAndMouseEventInit : UIEventInit { +dictionary EventModifierInit : UIEventInit { boolean ctrlKey = false; boolean shiftKey = false; boolean altKey = false; diff --git a/components/script/dom/webidls/KeyboardEvent.webidl b/components/script/dom/webidls/KeyboardEvent.webidl index 5a9865c8a6d..9426b0da30a 100644 --- a/components/script/dom/webidls/KeyboardEvent.webidl +++ b/components/script/dom/webidls/KeyboardEvent.webidl @@ -43,7 +43,7 @@ partial interface KeyboardEvent { }; // https://w3c.github.io/uievents/#dictdef-keyboardeventinit -dictionary KeyboardEventInit : SharedKeyboardAndMouseEventInit { +dictionary KeyboardEventInit : EventModifierInit { DOMString key = ""; DOMString code = ""; unsigned long location = 0; diff --git a/components/script/dom/webidls/MouseEvent.webidl b/components/script/dom/webidls/MouseEvent.webidl index e309ce0924c..c95739429a8 100644 --- a/components/script/dom/webidls/MouseEvent.webidl +++ b/components/script/dom/webidls/MouseEvent.webidl @@ -24,7 +24,7 @@ interface MouseEvent : UIEvent { }; // https://w3c.github.io/uievents/#dictdef-eventmodifierinit -dictionary MouseEventInit : SharedKeyboardAndMouseEventInit { +dictionary MouseEventInit : EventModifierInit { long screenX = 0; long screenY = 0; long clientX = 0; |