mirror of
https://github.com/servo/servo.git
synced 2025-07-16 20:03:39 +01:00
Rename SharedKeyboardAndMouseEventInit to EventModifierInit
This commit is contained in:
parent
2239e827bd
commit
d26bb29bb2
4 changed files with 5 additions and 5 deletions
|
@ -3,7 +3,7 @@
|
||||||
* file, You can obtain one at http://mozilla.org/MPL/2.0/. */
|
* file, You can obtain one at http://mozilla.org/MPL/2.0/. */
|
||||||
|
|
||||||
// https://w3c.github.io/uievents/#dictdef-eventmodifierinit
|
// https://w3c.github.io/uievents/#dictdef-eventmodifierinit
|
||||||
dictionary SharedKeyboardAndMouseEventInit : UIEventInit {
|
dictionary EventModifierInit : UIEventInit {
|
||||||
boolean ctrlKey = false;
|
boolean ctrlKey = false;
|
||||||
boolean shiftKey = false;
|
boolean shiftKey = false;
|
||||||
boolean altKey = false;
|
boolean altKey = false;
|
|
@ -43,7 +43,7 @@ partial interface KeyboardEvent {
|
||||||
};
|
};
|
||||||
|
|
||||||
// https://w3c.github.io/uievents/#dictdef-keyboardeventinit
|
// https://w3c.github.io/uievents/#dictdef-keyboardeventinit
|
||||||
dictionary KeyboardEventInit : SharedKeyboardAndMouseEventInit {
|
dictionary KeyboardEventInit : EventModifierInit {
|
||||||
DOMString key = "";
|
DOMString key = "";
|
||||||
DOMString code = "";
|
DOMString code = "";
|
||||||
unsigned long location = 0;
|
unsigned long location = 0;
|
||||||
|
|
|
@ -24,7 +24,7 @@ interface MouseEvent : UIEvent {
|
||||||
};
|
};
|
||||||
|
|
||||||
// https://w3c.github.io/uievents/#dictdef-eventmodifierinit
|
// https://w3c.github.io/uievents/#dictdef-eventmodifierinit
|
||||||
dictionary MouseEventInit : SharedKeyboardAndMouseEventInit {
|
dictionary MouseEventInit : EventModifierInit {
|
||||||
long screenX = 0;
|
long screenX = 0;
|
||||||
long screenY = 0;
|
long screenY = 0;
|
||||||
long clientX = 0;
|
long clientX = 0;
|
||||||
|
|
|
@ -499,7 +499,7 @@ interface MouseEvent : UIEvent {
|
||||||
boolean getModifierState (DOMString keyArg);
|
boolean getModifierState (DOMString keyArg);
|
||||||
};
|
};
|
||||||
|
|
||||||
dictionary MouseEventInit : SharedKeyboardAndMouseEventInit {
|
dictionary MouseEventInit : EventModifierInit {
|
||||||
long screenX = 0;
|
long screenX = 0;
|
||||||
long screenY = 0;
|
long screenY = 0;
|
||||||
long clientX = 0;
|
long clientX = 0;
|
||||||
|
@ -509,7 +509,7 @@ dictionary MouseEventInit : SharedKeyboardAndMouseEventInit {
|
||||||
EventTarget? relatedTarget = null;
|
EventTarget? relatedTarget = null;
|
||||||
};
|
};
|
||||||
|
|
||||||
dictionary SharedKeyboardAndMouseEventInit : UIEventInit {
|
dictionary EventModifierInit : UIEventInit {
|
||||||
boolean ctrlKey = false;
|
boolean ctrlKey = false;
|
||||||
boolean shiftKey = false;
|
boolean shiftKey = false;
|
||||||
boolean altKey = false;
|
boolean altKey = false;
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue