2023-03-06 19:51:05 +00:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								#import <CSS/MediaQueryList.idl>
							 | 
						
					
						
							
								
									
										
										
										
											2023-03-06 19:51:16 +00:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								#import <CSS/Screen.idl>
							 | 
						
					
						
							
								
									
										
										
										
											2023-06-17 16:40:35 +02:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								#import <CSS/VisualViewport.idl>
							 | 
						
					
						
							
								
									
										
										
										
											2023-03-05 18:54:33 +00:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								#import <DOM/Document.idl>
							 | 
						
					
						
							
								
									
										
										
										
											2023-03-05 16:01:53 +00:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								#import <DOM/EventHandler.idl>
							 | 
						
					
						
							
								
									
										
										
										
											2023-03-05 15:42:58 +00:00
										 
									 
								 
							 | 
							
								
							 | 
							
								
							 | 
							
							
								#import <DOM/EventTarget.idl>
							 | 
						
					
						
							
								
									
										
										
										
											2023-03-07 18:12:58 +00:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								#import <HTML/AnimationFrameProvider.idl>
							 | 
						
					
						
							
								
									
										
										
										
											2023-03-29 23:46:18 +01:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								#import <HTML/CustomElements/CustomElementRegistry.idl>
							 | 
						
					
						
							
								
									
										
										
										
											2023-11-08 11:04:56 -07:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								#import <HTML/History.idl>
							 | 
						
					
						
							
								
									
										
										
										
											2023-08-23 10:58:09 -06:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								#import <HTML/Navigation.idl>
							 | 
						
					
						
							
								
									
										
										
										
											2023-03-05 17:55:03 +00:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								#import <HTML/Navigator.idl>
							 | 
						
					
						
							
								
									
										
										
										
											2024-11-08 16:35:16 +13:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								#import <HTML/UniversalGlobalScope.idl>
							 | 
						
					
						
							
								
									
										
										
										
											2023-03-07 18:18:20 +00:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								#import <HTML/WindowLocalStorage.idl>
							 | 
						
					
						
							
								
									
										
										
										
											2023-03-06 11:40:15 +00:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								#import <HTML/WindowOrWorkerGlobalScope.idl>
							 | 
						
					
						
							
								
									
										
										
										
											2023-03-07 18:18:38 +00:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								#import <HTML/WindowSessionStorage.idl>
							 | 
						
					
						
							
								
									
										
										
										
											2023-03-06 23:38:44 +00:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								#import <RequestIdleCallback/IdleRequest.idl>
							 | 
						
					
						
							
								
									
										
										
										
											2023-03-05 15:42:58 +00:00
										 
									 
								 
							 | 
							
								
							 | 
							
								
							 | 
							
							
								
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								// https://html.spec.whatwg.org/multipage/nav-history-apis.html#window
							 | 
						
					
						
							
								
									
										
										
										
											2023-09-03 02:00:01 +12:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								[Global=Window, Exposed=Window, LegacyUnenumerableNamedProperties]
							 | 
						
					
						
							
								
									
										
										
										
											2023-03-05 15:42:58 +00:00
										 
									 
								 
							 | 
							
								
							 | 
							
								
							 | 
							
							
								interface Window : EventTarget {
							 | 
						
					
						
							
								
									
										
										
										
											2023-03-05 18:36:43 +00:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								    // the current browsing context
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								    [LegacyUnforgeable] readonly attribute WindowProxy window;
							 | 
						
					
						
							
								
									
										
										
										
											2023-03-05 18:38:29 +00:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								    [Replaceable] readonly attribute WindowProxy self;
							 | 
						
					
						
							
								
									
										
										
										
											2023-03-05 18:54:33 +00:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								    [LegacyUnforgeable] readonly attribute Document document;
							 | 
						
					
						
							
								
									
										
										
										
											2023-03-05 19:02:16 +00:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								    attribute DOMString name;
							 | 
						
					
						
							
								
									
										
										
										
											2023-12-04 19:52:04 +01:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								    attribute DOMString status;
							 | 
						
					
						
							
								
									
										
										
										
											2024-03-30 10:04:31 +00:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								    undefined close();
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								    readonly attribute boolean closed;
							 | 
						
					
						
							
								
									
										
										
										
											2023-03-05 20:13:00 +00:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								    [PutForwards=href, LegacyUnforgeable] readonly attribute Location location;
							 | 
						
					
						
							
								
									
										
										
										
											2023-03-05 20:21:35 +00:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								    readonly attribute History history;
							 | 
						
					
						
							
								
									
										
										
										
											2023-08-23 10:58:09 -06:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								    readonly attribute Navigation navigation;
							 | 
						
					
						
							
								
									
										
										
										
											2023-03-29 23:46:18 +01:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								    readonly attribute CustomElementRegistry customElements;
							 | 
						
					
						
							
								
									
										
										
										
											2024-12-05 10:56:47 +01:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								    undefined stop();
							 | 
						
					
						
							
								
									
										
										
										
											2023-03-06 22:25:04 +00:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								    undefined focus();
							 | 
						
					
						
							
								
									
										
										
										
											2024-03-30 10:04:31 +00:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								    undefined blur();
							 | 
						
					
						
							
								
									
										
										
										
											2023-03-05 18:36:43 +00:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								
							 | 
						
					
						
							
								
									
										
										
										
											2023-03-05 18:48:45 +00:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								    // other browsing contexts
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								    [Replaceable] readonly attribute WindowProxy frames;
							 | 
						
					
						
							
								
									
										
										
										
											2023-03-05 20:37:41 +00:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								    [Replaceable] readonly attribute unsigned long length;
							 | 
						
					
						
							
								
									
										
										
										
											2023-03-05 20:43:53 +00:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								    [LegacyUnforgeable] readonly attribute WindowProxy? top;
							 | 
						
					
						
							
								
									
										
										
										
											2024-03-12 23:39:59 +00:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								    attribute any opener;
							 | 
						
					
						
							
								
									
										
										
										
											2023-03-05 21:01:54 +00:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								    [Replaceable] readonly attribute WindowProxy? parent;
							 | 
						
					
						
							
								
									
										
										
										
											2023-03-05 21:33:30 +00:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								    readonly attribute Element? frameElement;
							 | 
						
					
						
							
								
									
										
										
										
											2023-03-05 21:56:26 +00:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								    WindowProxy? open(optional USVString url = "", optional DOMString target = "_blank", optional [LegacyNullToEmptyString] DOMString features = "");
							 | 
						
					
						
							
								
									
										
										
										
											2023-03-05 18:48:45 +00:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								
							 | 
						
					
						
							
								
									
										
										
										
											2023-09-19 13:32:13 -06:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								    // Since this is the global object, the IDL named getter adds a NamedPropertiesObject exotic
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								    // object on the prototype chain. Indeed, this does not make the global object an exotic object.
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								    // Indexed access is taken care of by the WindowProxy exotic object.
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								    getter object (DOMString name);
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								
							 | 
						
					
						
							
								
									
										
										
										
											2023-03-05 17:55:03 +00:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								    // the user agent
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								    readonly attribute Navigator navigator;
							 | 
						
					
						
							
								
									
										
										
										
											2024-12-05 11:23:14 +01:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								    [Replaceable, ImplementedAs=navigator] readonly attribute Navigator clientInformation; // legacy alias of .navigator
							 | 
						
					
						
							
								
									
										
										
										
											2023-03-05 17:55:03 +00:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								
							 | 
						
					
						
							
								
									
										
										
										
											2023-03-05 16:02:35 +00:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								    // user prompts
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								    undefined alert();
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								    undefined alert(DOMString message);
							 | 
						
					
						
							
								
									
										
										
										
											2023-03-05 17:21:24 +00:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								    boolean confirm(optional DOMString message = "");
							 | 
						
					
						
							
								
									
										
										
										
											2023-03-05 17:28:17 +00:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								    DOMString? prompt(optional DOMString message = "", optional DOMString default = "");
							 | 
						
					
						
							
								
									
										
										
										
											2023-03-05 17:36:59 +00:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								
							 | 
						
					
						
							
								
									
										
										
										
											2023-11-06 20:22:56 +00:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								    undefined postMessage(any message, USVString targetOrigin, optional sequence<object> transfer = []);
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								    undefined postMessage(any message, optional WindowPostMessageOptions options = {});
							 | 
						
					
						
							
								
									
										
										
										
											2023-03-06 19:50:29 +00:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								    // https://dom.spec.whatwg.org/#interface-window-extensions
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								    [Replaceable] readonly attribute (Event or undefined) event; // legacy
							 | 
						
					
						
							
								
									
										
										
										
											2023-03-06 19:50:46 +00:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								
							 | 
						
					
						
							
								
									
										
										
										
											2023-03-06 22:18:29 +00:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								    // https://w3c.github.io/csswg-drafts/cssom/#extensions-to-the-window-interface
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								    [NewObject] CSSStyleDeclaration getComputedStyle(Element elt, optional CSSOMString? pseudoElt);
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								
							 | 
						
					
						
							
								
									
										
										
										
											2023-03-06 19:51:05 +00:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								    // https://w3c.github.io/csswg-drafts/cssom-view/#extensions-to-the-window-interface
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								    [NewObject] MediaQueryList matchMedia(CSSOMString query);
							 | 
						
					
						
							
								
									
										
										
										
											2023-03-06 19:51:16 +00:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								    [SameObject, Replaceable] readonly attribute Screen screen;
							 | 
						
					
						
							
								
									
										
										
										
											2023-06-17 16:40:35 +02:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								    [SameObject, Replaceable] readonly attribute VisualViewport? visualViewport;
							 | 
						
					
						
							
								
									
										
										
										
											2023-03-06 19:51:05 +00:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								
							 | 
						
					
						
							
								
									
										
										
										
											2024-02-21 04:17:27 -05:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								    undefined moveTo(long x, long y);
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								    undefined moveBy(long x, long y);
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								    undefined resizeTo(long x, long y);
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								    undefined resizeBy(long x, long y);
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								
							 | 
						
					
						
							
								
									
										
										
										
											2023-03-06 19:51:33 +00:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								    // viewport
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								    [Replaceable] readonly attribute long innerWidth;
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								    [Replaceable] readonly attribute long innerHeight;
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								
							 | 
						
					
						
							
								
									
										
										
										
											2023-03-06 19:51:44 +00:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								    // viewport scrolling
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								    [Replaceable] readonly attribute double scrollX;
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								    [Replaceable, ImplementedAs=scroll_x] readonly attribute double pageXOffset;
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								    [Replaceable] readonly attribute double scrollY;
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								    [Replaceable, ImplementedAs=scroll_y] readonly attribute double pageYOffset;
							 | 
						
					
						
							
								
									
										
										
										
											2023-03-06 20:53:49 +00:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								    undefined scroll(optional ScrollToOptions options = {});
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								    undefined scroll(unrestricted double x, unrestricted double y);
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								    [ImplementedAs=scroll] undefined scrollTo(optional ScrollToOptions options = {});
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								    [ImplementedAs=scroll] undefined scrollTo(unrestricted double x, unrestricted double y);
							 | 
						
					
						
							
								
									
										
										
										
											2023-03-06 21:17:19 +00:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								    undefined scrollBy(optional ScrollToOptions options = {});
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								    undefined scrollBy(unrestricted double x, unrestricted double y);
							 | 
						
					
						
							
								
									
										
										
										
											2023-03-06 19:51:44 +00:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								
							 | 
						
					
						
							
								
									
										
										
										
											2023-03-06 21:38:09 +00:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								    // client
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								    [Replaceable] readonly attribute long screenX;
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								    [Replaceable, ImplementedAs=screen_x] readonly attribute long screenLeft;
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								    [Replaceable] readonly attribute long screenY;
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								    [Replaceable, ImplementedAs=screen_y] readonly attribute long screenTop;
							 | 
						
					
						
							
								
									
										
										
										
											2023-03-06 22:02:09 +00:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								    [Replaceable] readonly attribute long outerWidth;
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								    [Replaceable] readonly attribute long outerHeight;
							 | 
						
					
						
							
								
									
										
										
										
											2023-03-06 22:10:10 +00:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								    [Replaceable] readonly attribute double devicePixelRatio;
							 | 
						
					
						
							
								
									
										
										
										
											2023-03-06 21:38:09 +00:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								
							 | 
						
					
						
							
								
									
										
										
										
											2023-03-06 23:38:44 +00:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								    // https://w3c.github.io/requestidlecallback/#window_extensions
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								    unsigned long requestIdleCallback(IdleRequestCallback callback, optional IdleRequestOptions options = {});
							 | 
						
					
						
							
								
									
										
										
										
											2023-03-06 23:43:25 +00:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								    undefined cancelIdleCallback(unsigned long handle);
							 | 
						
					
						
							
								
									
										
										
										
											2023-03-06 23:38:44 +00:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								
							 | 
						
					
						
							
								
									
										
										
										
											2023-03-06 22:34:48 +00:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								    // https://w3c.github.io/selection-api/#extensions-to-window-interface
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								    Selection? getSelection();
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								
							 | 
						
					
						
							
								
									
										
										
										
											2024-04-14 07:38:10 +01:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								    undefined captureEvents();
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								    undefined releaseEvents();
							 | 
						
					
						
							
								
									
										
										
										
											2024-06-25 22:52:01 +01:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								    // This function is non-standard.
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								    boolean find(optional DOMString string = "");
							 | 
						
					
						
							
								
									
										
										
										
											2023-03-05 15:42:58 +00:00
										 
									 
								 
							 | 
							
								
							 | 
							
								
							 | 
							
							
								};
							 | 
						
					
						
							
								
									
										
										
										
											2023-03-07 18:12:58 +00:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								Window includes AnimationFrameProvider;
							 | 
						
					
						
							
								
									
										
										
										
											2023-03-05 16:01:53 +00:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								Window includes GlobalEventHandlers;
							 | 
						
					
						
							
								
									
										
										
										
											2024-11-08 16:35:16 +13:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								Window includes UniversalGlobalScope;
							 | 
						
					
						
							
								
									
										
										
										
											2023-03-05 16:01:53 +00:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								Window includes WindowEventHandlers;
							 | 
						
					
						
							
								
									
										
										
										
											2023-03-07 18:18:20 +00:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								Window includes WindowLocalStorage;
							 | 
						
					
						
							
								
									
										
										
										
											2023-03-07 18:18:38 +00:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								Window includes WindowSessionStorage;
							 | 
						
					
						
							
								
									
										
										
										
											2023-03-06 11:40:15 +00:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								Window includes WindowOrWorkerGlobalScope;
							 | 
						
					
						
							
								
									
										
										
										
											2023-03-06 20:53:49 +00:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								enum ScrollBehavior { "auto", "instant", "smooth" };
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								dictionary ScrollOptions {
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								    ScrollBehavior behavior = "auto";
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								};
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								dictionary ScrollToOptions : ScrollOptions {
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								    unrestricted double left;
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								    unrestricted double top;
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								};
							 | 
						
					
						
							
								
									
										
										
										
											2023-11-06 20:22:56 +00:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								dictionary WindowPostMessageOptions : StructuredSerializeOptions {
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								    USVString targetOrigin = "/";
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								};
							 |