mirror of
https://github.com/servo/servo.git
synced 2025-06-25 09:34:32 +01:00
Update the WindowTimers interface to the current specification.
This commit is contained in:
parent
af616dba58
commit
858d30b5d9
1 changed files with 7 additions and 7 deletions
|
@ -67,13 +67,13 @@ partial interface Window {
|
||||||
|
|
||||||
[NoInterfaceObject]
|
[NoInterfaceObject]
|
||||||
interface WindowTimers {
|
interface WindowTimers {
|
||||||
//long setTimeout(Function handler, optional long timeout, any... arguments);
|
//long setTimeout(Function handler, optional long timeout = 0, any... arguments);
|
||||||
//XXXjdm No support for Function or variadic arguments yet
|
//XXXjdm No support for Function or variadic arguments yet
|
||||||
long setTimeout(any handler, optional long timeout/*, any... arguments*/);
|
long setTimeout(any handler, optional long timeout = 0/*, any... arguments*/);
|
||||||
void clearTimeout(long handle);
|
void clearTimeout(optional long handle = 0);
|
||||||
/*long setTimeout(DOMString handler, optional long timeout, any... arguments);
|
/*long setTimeout(DOMString handler, optional long timeout = 0, any... arguments);
|
||||||
long setInterval(Function handler, optional long timeout, any... arguments);
|
long setInterval(Function handler, optional long timeout = 0, any... arguments);
|
||||||
long setInterval(DOMString handler, optional long timeout, any... arguments);
|
long setInterval(DOMString handler, optional long timeout = 0, any... arguments);
|
||||||
void clearInterval(long handle);*/
|
void clearInterval(optional long handle = 0);*/
|
||||||
};
|
};
|
||||||
Window implements WindowTimers;
|
Window implements WindowTimers;
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue