@rescript/webapi 0.1.0-experimental-2d6efc2 → 0.1.0-experimental-0781ac8
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/README.md +10 -5
- package/package.json +6 -4
- package/rescript.json +591 -4
- package/src/Base/ArrayBufferTypedArrayOrDataView.res +4 -0
- package/src/Base/BaseCSSFontLoading.res +25 -0
- package/src/{EncryptedMediaExtensionsAPI.res → Base/BaseEncryptedMediaExtensions.res} +12 -18
- package/src/Base/BaseEvent.res +6 -0
- package/src/Base/BaseFile.res +37 -0
- package/src/{FileAndDirectoryEntriesAPI.res → Base/BaseFileAndDirectoryEntries.res} +5 -22
- package/src/{DOMAPI.res → Base/DOM.res} +225 -2237
- package/src/{CSSFontLoadingAPI.res → CSSFontLoading/CssFontLoadingTypes.res} +4 -15
- package/src/CSSFontLoading/FontFace.res +62 -0
- package/src/CSSFontLoading/FontFaceSet.res +38 -0
- package/src/Canvas/Canvas.res +179 -0
- package/src/{CanvasAPI → Canvas}/CanvasGradient.res +2 -3
- package/src/{CanvasAPI → Canvas}/CanvasPattern.res +3 -3
- package/src/{DOMAPI → Canvas}/CanvasRenderingContext2D.res +178 -140
- package/src/{CanvasAPI.res → Canvas/CanvasTypes.res} +9 -11
- package/src/Canvas/FillStyle.res +25 -0
- package/src/{DOMAPI → Canvas}/HTMLCanvasElement.res +21 -23
- package/src/{CanvasAPI → Canvas}/ImageBitmap.res +1 -3
- package/src/{CanvasAPI → Canvas}/ImageBitmapRenderingContext.res +4 -4
- package/src/{CanvasAPI → Canvas}/OffscreenCanvas.res +19 -19
- package/src/{CanvasAPI → Canvas}/Path2D.res +63 -19
- package/src/Canvas/VideoFrame.res +223 -0
- package/src/{ChannelMessagingAPI.res → ChannelMessaging/ChannelMessagingTypes.res} +2 -4
- package/src/{ChannelMessagingAPI → ChannelMessaging}/MessagePort.res +8 -10
- package/src/Clipboard/Clipboard.res +29 -0
- package/src/{ClipboardAPI → Clipboard}/ClipboardItem.res +5 -6
- package/src/{ClipboardAPI.res → Clipboard/ClipboardTypes.res} +5 -7
- package/src/{CredentialManagementAPI.res → CredentialManagement/CredentialManagementTypes.res} +10 -13
- package/src/CredentialManagement/CredentialsContainer.res +33 -0
- package/src/{DOMAPI → DOM}/Animation.res +13 -13
- package/src/{DOMAPI → DOM}/AnimationEffect.res +7 -5
- package/src/{DOMAPI → DOM}/CSSRuleList.res +1 -3
- package/src/{DOMAPI → DOM}/CSSStyleDeclaration.res +6 -7
- package/src/DOM/CSSStyleSheet.res +30 -0
- package/src/{DOMAPI → DOM}/CSSStyleValue.res +3 -4
- package/src/DOM/CaretPosition.res +2 -0
- package/src/{DOMAPI → DOM}/CharacterData.res +5 -7
- package/src/DOM/Comment.res +7 -0
- package/src/{DOMAPI → DOM}/CustomElementRegistry.res +10 -9
- package/src/DOM/DOMException.res +7 -0
- package/src/{DOMAPI → DOM}/DOMImplementation.res +6 -8
- package/src/DOM/DOMMatrix.res +228 -0
- package/src/DOM/DOMMatrixReadOnly.res +147 -0
- package/src/DOM/DOMPoint.res +31 -0
- package/src/{DOMAPI → DOM}/DOMPointReadOnly.res +7 -7
- package/src/{DOMAPI → DOM}/DOMRect.res +6 -7
- package/src/DOM/DOMRectList.res +2 -0
- package/src/DOM/DOMRectReadOnly.res +19 -0
- package/src/{Prelude → DOM}/DOMStringList.res +3 -3
- package/src/{DOMAPI → DOM}/DOMTokenList.res +7 -9
- package/src/{DOMAPI → DOM}/Document.res +94 -80
- package/src/{DOMAPI → DOM}/DocumentFragment.res +10 -11
- package/src/DOM/DocumentTimeline.res +8 -0
- package/src/{Global.res → DOM/DomGlobal.res} +62 -285
- package/src/{DOMAPI/HTMLMediaElement.res → DOM/DomHTMLMediaElement.res} +6 -16
- package/src/DOM/DomTypes.res +2105 -0
- package/src/{DOMAPI → DOM}/Element.res +53 -44
- package/src/{DOMAPI → DOM}/ElementInternals.res +6 -8
- package/src/{DOMAPI → DOM}/FileList.res +2 -5
- package/src/DOM/HTMLAnchorElement.res +1 -0
- package/src/DOM/HTMLAreaElement.res +1 -0
- package/src/DOM/HTMLAudioElement.res +1 -0
- package/src/DOM/HTMLBRElement.res +1 -0
- package/src/DOM/HTMLBaseElement.res +1 -0
- package/src/DOM/HTMLBodyElement.res +1 -0
- package/src/{DOMAPI → DOM}/HTMLButtonElement.res +4 -6
- package/src/{DOMAPI → DOM}/HTMLCollection.res +2 -4
- package/src/DOM/HTMLDListElement.res +1 -0
- package/src/DOM/HTMLDataElement.res +1 -0
- package/src/DOM/HTMLDataListElement.res +1 -0
- package/src/{DOMAPI → DOM}/HTMLDialogElement.res +4 -6
- package/src/DOM/HTMLDivElement.res +1 -0
- package/src/{DOMAPI → DOM}/HTMLElement.res +5 -5
- package/src/DOM/HTMLEmbedElement.res +4 -0
- package/src/{DOMAPI → DOM}/HTMLFieldSetElement.res +4 -6
- package/src/DOM/HTMLFormControlsCollection.res +16 -0
- package/src/{DOMAPI → DOM}/HTMLFormElement.res +7 -7
- package/src/DOM/HTMLFrameSetElement.res +1 -0
- package/src/DOM/HTMLHRElement.res +1 -0
- package/src/DOM/HTMLHeadElement.res +1 -0
- package/src/DOM/HTMLHeadingElement.res +1 -0
- package/src/DOM/HTMLHtmlElement.res +1 -0
- package/src/DOM/HTMLIFrameElement.res +4 -0
- package/src/DOM/HTMLImageElement.res +7 -0
- package/src/{DOMAPI → DOM}/HTMLInputElement.res +12 -14
- package/src/DOM/HTMLLIElement.res +1 -0
- package/src/DOM/HTMLLabelElement.res +1 -0
- package/src/DOM/HTMLLegendElement.res +1 -0
- package/src/DOM/HTMLLinkElement.res +1 -0
- package/src/DOM/HTMLMapElement.res +1 -0
- package/src/DOM/HTMLMenuElement.res +1 -0
- package/src/DOM/HTMLMetaElement.res +1 -0
- package/src/DOM/HTMLMeterElement.res +1 -0
- package/src/DOM/HTMLModElement.res +1 -0
- package/src/DOM/HTMLOListElement.res +1 -0
- package/src/{DOMAPI → DOM}/HTMLObjectElement.res +5 -7
- package/src/DOM/HTMLOptGroupElement.res +1 -0
- package/src/DOM/HTMLOptionElement.res +1 -0
- package/src/{DOMAPI → DOM}/HTMLOptionsCollection.res +4 -5
- package/src/{DOMAPI → DOM}/HTMLOutputElement.res +4 -6
- package/src/DOM/HTMLParagraphElement.res +1 -0
- package/src/DOM/HTMLPictureElement.res +1 -0
- package/src/DOM/HTMLPreElement.res +1 -0
- package/src/DOM/HTMLProgressElement.res +1 -0
- package/src/DOM/HTMLQuoteElement.res +1 -0
- package/src/{DOMAPI → DOM}/HTMLScriptElement.res +1 -3
- package/src/{DOMAPI → DOM}/HTMLSelectElement.res +10 -12
- package/src/DOM/HTMLSlotElement.res +31 -0
- package/src/DOM/HTMLSourceElement.res +1 -0
- package/src/DOM/HTMLSpanElement.res +1 -0
- package/src/DOM/HTMLStyleElement.res +1 -0
- package/src/DOM/HTMLTableCaptionElement.res +1 -0
- package/src/DOM/HTMLTableCellElement.res +1 -0
- package/src/{DOMAPI → DOM}/HTMLTableElement.res +12 -12
- package/src/{DOMAPI → DOM}/HTMLTableRowElement.res +6 -5
- package/src/{DOMAPI → DOM}/HTMLTableSectionElement.res +6 -5
- package/src/DOM/HTMLTemplateElement.res +1 -0
- package/src/{DOMAPI → DOM}/HTMLTextAreaElement.res +9 -11
- package/src/DOM/HTMLTimeElement.res +1 -0
- package/src/DOM/HTMLTitleElement.res +1 -0
- package/src/DOM/HTMLTrackElement.res +1 -0
- package/src/DOM/HTMLUListElement.res +1 -0
- package/src/DOM/HTMLVideoElement.res +32 -0
- package/src/{DOMAPI → DOM}/IdleDeadline.res +1 -3
- package/src/{DOMAPI → DOM}/ImageData.res +4 -5
- package/src/{DOMAPI → DOM}/Location.res +3 -5
- package/src/{DOMAPI → DOM}/MediaList.res +3 -5
- package/src/DOM/MediaQueryList.res +1 -0
- package/src/{DOMAPI → DOM}/NamedNodeMap.res +15 -11
- package/src/DOM/Navigator.res +166 -0
- package/src/{DOMAPI → DOM}/Node.res +10 -11
- package/src/DOM/NodeFilter.res +2 -0
- package/src/{DOMAPI → DOM}/NodeIterator.res +2 -4
- package/src/{DOMAPI → DOM}/NodeList.res +1 -3
- package/src/{DOMAPI → DOM}/Range.res +27 -27
- package/src/DOM/SVGGraphicsElement.res +18 -0
- package/src/{DOMAPI → DOM}/SVGLength.res +2 -4
- package/src/DOM/ScreenOrientation.res +7 -0
- package/src/{DOMAPI → DOM}/Selection.res +22 -20
- package/src/DOM/ShadowRoot.res +19 -0
- package/src/DOM/StylePropertyMap.res +57 -0
- package/src/{DOMAPI → DOM}/StylePropertyMapReadOnly.res +3 -4
- package/src/{DOMAPI → DOM}/StyleSheetList.res +1 -3
- package/src/{DOMAPI → DOM}/Text.res +3 -5
- package/src/DOM/TextTrackList.res +7 -0
- package/src/{DOMAPI → DOM}/TimeRanges.res +2 -4
- package/src/{DOMAPI → DOM}/TreeWalker.res +7 -9
- package/src/{DOMAPI → DOM}/VideoColorSpace.res +3 -4
- package/src/DOM/Window.res +557 -0
- package/src/{DOMAPI → DOM}/XPathExpression.res +4 -6
- package/src/{DOMAPI → DOM}/XPathResult.res +2 -4
- package/src/EncryptedMediaExtensions/EncryptedMediaExtensionsHTMLMediaElement.res +15 -0
- package/src/EncryptedMediaExtensions/EncryptedMediaExtensionsTypes.res +43 -0
- package/src/{EncryptedMediaExtensionsAPI → EncryptedMediaExtensions}/MediaKeySession.res +10 -10
- package/src/{EncryptedMediaExtensionsAPI → EncryptedMediaExtensions}/MediaKeyStatusMap.res +2 -4
- package/src/EncryptedMediaExtensions/MediaKeySystemAccess.res +14 -0
- package/src/EncryptedMediaExtensions/MediaKeys.res +35 -0
- package/src/{EventAPI → Event}/AbortController.res +2 -4
- package/src/{EventAPI → Event}/AbortSignal.res +5 -7
- package/src/{EventAPI → Event}/Event.res +5 -6
- package/src/{EventAPI → Event}/EventTarget.res +14 -16
- package/src/{EventAPI.res → Event/EventTypes.res} +10 -10
- package/src/{EventAPI → Event}/ExtendableEvent.res +2 -4
- package/src/{FetchAPI → Fetch}/BodyInit.res +10 -12
- package/src/Fetch/Fetch.res +12 -0
- package/src/{FetchAPI.res → Fetch/FetchTypes.res} +19 -21
- package/src/{FetchAPI → Fetch}/FormData.res +16 -15
- package/src/Fetch/FormDataEntryValue.res +2 -0
- package/src/{FetchAPI → Fetch}/Headers.res +10 -12
- package/src/{FetchAPI → Fetch}/HeadersInit.res +4 -4
- package/src/{FetchAPI → Fetch}/Request.res +16 -11
- package/src/{FetchAPI → Fetch}/Response.res +27 -23
- package/src/{FileAPI → File}/Blob.res +9 -7
- package/src/{FileAPI → File}/File.res +5 -5
- package/src/File/FileSystemDirectoryHandle.res +49 -0
- package/src/File/FileSystemFileHandle.res +25 -0
- package/src/File/FileSystemHandle.res +6 -0
- package/src/File/FileSystemWritableFileStream.res +65 -0
- package/src/{FileAPI.res → File/FileTypes.res} +22 -23
- package/src/File/ReadableStream.res +79 -0
- package/src/File/WritableStream.res +27 -0
- package/src/{FileAPI → File}/WritableStreamDefaultController.res +1 -3
- package/src/FileAndDirectoryEntries/FileAndDirectoryEntriesTypes.res +35 -0
- package/src/FileAndDirectoryEntries/FileSystemDirectoryEntry.res +42 -0
- package/src/FileAndDirectoryEntries/FileSystemDirectoryReader.res +9 -0
- package/src/FileAndDirectoryEntries/FileSystemEntry.res +9 -0
- package/src/Gamepad/GamepadHapticActuator.res +16 -0
- package/src/{GamepadAPI.res → Gamepad/GamepadTypes.res} +4 -4
- package/src/Geolocation/Geolocation.res +31 -0
- package/src/{GeolocationAPI → Geolocation}/GeolocationCoordinates.res +1 -3
- package/src/{GeolocationAPI → Geolocation}/GeolocationPosition.res +1 -3
- package/src/{GeolocationAPI.res → Geolocation/GeolocationTypes.res} +5 -5
- package/src/{HistoryAPI → History}/History.res +13 -8
- package/src/{HistoryAPI.res → History/HistoryTypes.res} +3 -2
- package/src/{IndexedDBAPI → IndexedDB}/IDBDatabase.res +14 -16
- package/src/{IndexedDBAPI → IndexedDB}/IDBFactory.res +10 -6
- package/src/{IndexedDBAPI → IndexedDB}/IDBIndex.res +22 -17
- package/src/{IndexedDBAPI → IndexedDB}/IDBObjectStore.res +44 -33
- package/src/{IndexedDBAPI → IndexedDB}/IDBTransaction.res +5 -6
- package/src/{IndexedDBAPI.res → IndexedDB/IndexedDbTypes.res} +16 -17
- package/src/IntersectionObserver/IntersectionObserver.res +39 -0
- package/src/IntersectionObserver/IntersectionObserverRoot.res +21 -0
- package/src/{IntersectionObserverAPI.res → IntersectionObserver/IntersectionObserverTypes.res} +7 -9
- package/src/MediaCapabilities/MediaCapabilities.res +19 -0
- package/src/{MediaCapabilitiesAPI.res → MediaCapabilities/MediaCapabilitiesTypes.res} +3 -3
- package/src/{MediaCaptureAndStreamsAPI.res → MediaCaptureAndStreams/MediaCaptureAndStreamsTypes.res} +7 -8
- package/src/MediaCaptureAndStreams/MediaDeviceInfo.res +9 -0
- package/src/MediaCaptureAndStreams/MediaDevices.res +40 -0
- package/src/MediaCaptureAndStreams/MediaStream.res +89 -0
- package/src/MediaCaptureAndStreams/MediaStreamTrack.res +51 -0
- package/src/MediaSession/MediaMetadata.res +10 -0
- package/src/MediaSession/MediaSession.res +25 -0
- package/src/{MediaSessionAPI.res → MediaSession/MediaSessionTypes.res} +4 -2
- package/src/MutationObserver/MutationObserver.res +31 -0
- package/src/{MutationObserverAPI.res → MutationObserver/MutationObserverTypes.res} +3 -5
- package/src/Notification/Notification.res +46 -0
- package/src/{NotificationAPI.res → Notification/NotificationTypes.res} +5 -7
- package/src/Performance/Performance.res +101 -0
- package/src/{PerformanceAPI → Performance}/PerformanceEntry.res +1 -3
- package/src/Performance/PerformanceMark.res +16 -0
- package/src/{PerformanceAPI.res → Performance/PerformanceTypes.res} +9 -12
- package/src/Permissions/Permissions.res +10 -0
- package/src/{PermissionsAPI.res → Permissions/PermissionsTypes.res} +4 -6
- package/src/PictureInPicture/PictureInPicture.res +7 -0
- package/src/{PictureInPictureAPI.res → PictureInPicture/PictureInPictureTypes.res} +1 -3
- package/src/Push/ApplicationServerKey.res +2 -0
- package/src/Push/PushEvent.res +3 -0
- package/src/Push/PushManager.res +24 -0
- package/src/{PushAPI → Push}/PushMessageData.res +3 -3
- package/src/{PushAPI → Push}/PushSubscription.res +4 -5
- package/src/{PushAPI.res → Push/PushTypes.res} +6 -8
- package/src/RemotePlayback/RemotePlayback.res +25 -0
- package/src/{RemotePlaybackAPI.res → RemotePlayback/RemotePlaybackTypes.res} +4 -6
- package/src/ResizeObserver/ResizeObserver.res +30 -0
- package/src/{ResizeObserverAPI.res → ResizeObserver/ResizeObserverTypes.res} +5 -7
- package/src/{ScreenWakeLockAPI.res → ScreenWakeLock/ScreenWakeLockTypes.res} +3 -5
- package/src/ScreenWakeLock/WakeLock.res +8 -0
- package/src/ScreenWakeLock/WakeLockSentinel.res +7 -0
- package/src/ServiceWorker/Cache.res +117 -0
- package/src/{ServiceWorkerAPI → ServiceWorker}/Clients.res +14 -7
- package/src/{ServiceWorkerAPI → ServiceWorker}/NavigationPreloadManager.res +7 -6
- package/src/ServiceWorker/ServiceWorker.res +38 -0
- package/src/ServiceWorker/ServiceWorkerContainer.res +34 -0
- package/src/{ServiceWorkerAPI → ServiceWorker}/ServiceWorkerRegistration.res +8 -11
- package/src/ServiceWorker/ServiceWorkerScope.res +12 -0
- package/src/{ServiceWorkerAPI.res → ServiceWorker/ServiceWorkerTypes.res} +18 -23
- package/src/{StorageAPI → Storage}/StorageManager.res +5 -7
- package/src/{StorageAPI.res → Storage/StorageTypes.res} +1 -1
- package/src/UIEvents/CompositionEvent.res +10 -0
- package/src/{UIEventsAPI → UIEvents}/DataTransfer.res +10 -8
- package/src/{UIEventsAPI → UIEvents}/DataTransferItem.res +5 -8
- package/src/{UIEventsAPI → UIEvents}/DataTransferItemList.res +11 -7
- package/src/UIEvents/FocusEvent.res +10 -0
- package/src/UIEvents/InputEvent.res +16 -0
- package/src/UIEvents/KeyboardEvent.res +16 -0
- package/src/{UIEventsAPI → UIEvents}/MouseEvent.res +6 -5
- package/src/UIEvents/PointerEvent.res +24 -0
- package/src/{UIEventsAPI → UIEvents}/Touch.res +1 -3
- package/src/UIEvents/TouchEvent.res +10 -0
- package/src/{UIEventsAPI → UIEvents}/TouchList.res +1 -3
- package/src/UIEvents/UIEvent.res +20 -0
- package/src/{UIEventsAPI.res → UIEvents/UiEventsTypes.res} +28 -30
- package/src/UIEvents/WheelEvent.res +10 -0
- package/src/{URLAPI → URL}/URL.res +6 -5
- package/src/{URLAPI → URL}/URLSearchParams.res +20 -17
- package/src/{URLAPI.res → URL/UrlTypes.res} +5 -4
- package/src/{ViewTransitionsAPI → ViewTransitions}/ViewTransition.res +1 -3
- package/src/{ViewTransitionsAPI.res → ViewTransitions/ViewTransitionsTypes.res} +1 -1
- package/src/VisualViewport/VisualViewport.res +5 -0
- package/src/{VisualViewportAPI.res → VisualViewport/VisualViewportTypes.res} +2 -4
- package/src/WebAudio/AnalyserNode.res +38 -0
- package/src/{WebAudioAPI → WebAudio}/AudioBuffer.res +4 -6
- package/src/{WebAudioAPI → WebAudio}/AudioBufferSourceNode.res +5 -7
- package/src/WebAudio/AudioContext.res +59 -0
- package/src/WebAudio/AudioDestinationNode.res +1 -0
- package/src/{WebAudioAPI → WebAudio}/AudioNode.res +21 -12
- package/src/{WebAudioAPI → WebAudio}/AudioParam.res +23 -14
- package/src/WebAudio/AudioProcessingEvent.res +10 -0
- package/src/{WebAudioAPI → WebAudio}/AudioScheduledSourceNode.res +2 -4
- package/src/WebAudio/AudioWorkletNode.res +11 -0
- package/src/{WebAudioAPI → WebAudio}/BaseAudioContext.res +26 -25
- package/src/{WebAudioAPI → WebAudio}/BiquadFilterNode.res +6 -6
- package/src/WebAudio/ChannelMergerNode.res +10 -0
- package/src/WebAudio/ChannelSplitterNode.res +10 -0
- package/src/WebAudio/ConstantSourceNode.res +10 -0
- package/src/WebAudio/ConvolverNode.res +10 -0
- package/src/WebAudio/DelayNode.res +10 -0
- package/src/WebAudio/DynamicsCompressorNode.res +10 -0
- package/src/WebAudio/GainNode.res +10 -0
- package/src/{WebAudioAPI → WebAudio}/IIRFilterNode.res +6 -6
- package/src/WebAudio/MediaElementAudioSourceNode.res +10 -0
- package/src/WebAudio/MediaStreamAudioDestinationNode.res +10 -0
- package/src/WebAudio/MediaStreamAudioSourceNode.res +10 -0
- package/src/WebAudio/OfflineAudioCompletionEvent.res +10 -0
- package/src/WebAudio/OfflineAudioContext.res +58 -0
- package/src/WebAudio/OscillatorNode.res +17 -0
- package/src/WebAudio/PannerNode.res +10 -0
- package/src/WebAudio/PeriodicWave.res +8 -0
- package/src/WebAudio/StereoPannerNode.res +10 -0
- package/src/WebAudio/WaveShaperNode.res +10 -0
- package/src/{WebAudioAPI.res → WebAudio/WebAudioTypes.res} +55 -42
- package/src/{WebAudioAPI → WebAudio}/Worklet.res +5 -4
- package/src/{WebCryptoAPI → WebCrypto}/Crypto.res +2 -4
- package/src/WebCrypto/SubtleCrypto.res +173 -0
- package/src/{WebCryptoAPI.res → WebCrypto/WebCryptoTypes.res} +3 -5
- package/src/WebLocks/LockManager.res +26 -0
- package/src/{WebLocksAPI.res → WebLocks/WebLocksTypes.res} +2 -4
- package/src/WebMIDI/WebMIDI.res +7 -0
- package/src/{WebMIDIAPI.res → WebMIDI/WebMidiTypes.res} +1 -3
- package/src/WebSockets/CloseEvent.res +10 -0
- package/src/{WebSocketsAPI → WebSockets}/MessageEvent.res +14 -9
- package/src/WebSockets/WebSocket.res +71 -0
- package/src/{WebSocketsAPI.res → WebSockets/WebSocketsTypes.res} +12 -15
- package/src/{WebSpeechAPI → WebSpeech}/SpeechSynthesis.res +8 -8
- package/src/WebSpeech/SpeechSynthesisUtterance.res +8 -0
- package/src/{WebSpeechAPI.res → WebSpeech/WebSpeechTypes.res} +4 -5
- package/src/{WebStorageAPI → WebStorage}/Storage.res +8 -10
- package/src/WebStorage/StorageEvent.res +10 -0
- package/src/{WebStorageAPI.res → WebStorage/WebStorageTypes.res} +9 -11
- package/src/{WebVTTAPI → WebVTT}/TextTrack.res +3 -5
- package/src/{WebVTTAPI → WebVTT}/TextTrackCueList.res +2 -3
- package/src/{WebVTTAPI.res → WebVTT/WebVttTypes.res} +5 -5
- package/src/WebWorkers/CacheStorage.res +43 -0
- package/src/{WebWorkersAPI → WebWorkers}/SharedWorker.res +13 -12
- package/src/{WebWorkersAPI/SharedWorkerGlobalScope.res → WebWorkers/SharedWorkerScope.res} +6 -4
- package/src/{WebWorkersAPI.res → WebWorkers/WebWorkersTypes.res} +7 -10
- package/src/{WebWorkersAPI/WorkerGlobalScope.res → WebWorkers/Worker.res} +8 -8
- package/src/CSSFontLoadingAPI/FontFace.res +0 -34
- package/src/CSSFontLoadingAPI/FontFaceSet.res +0 -33
- package/src/CanvasAPI/FillStyle.res +0 -24
- package/src/ClipboardAPI/Clipboard.res +0 -27
- package/src/CredentialManagementAPI/CredentialsContainer.res +0 -29
- package/src/DOMAPI/CSSStyleSheet.res +0 -32
- package/src/DOMAPI/CaretPosition.res +0 -4
- package/src/DOMAPI/Comment.res +0 -9
- package/src/DOMAPI/DOMMatrix.res +0 -169
- package/src/DOMAPI/DOMMatrixReadOnly.res +0 -103
- package/src/DOMAPI/DOMPoint.res +0 -29
- package/src/DOMAPI/DOMRectList.res +0 -4
- package/src/DOMAPI/DOMRectReadOnly.res +0 -17
- package/src/DOMAPI/DocumentTimeline.res +0 -9
- package/src/DOMAPI/HTMLAnchorElement.res +0 -3
- package/src/DOMAPI/HTMLAreaElement.res +0 -3
- package/src/DOMAPI/HTMLAudioElement.res +0 -3
- package/src/DOMAPI/HTMLBRElement.res +0 -3
- package/src/DOMAPI/HTMLBaseElement.res +0 -3
- package/src/DOMAPI/HTMLBodyElement.res +0 -3
- package/src/DOMAPI/HTMLDListElement.res +0 -3
- package/src/DOMAPI/HTMLDataElement.res +0 -3
- package/src/DOMAPI/HTMLDataListElement.res +0 -3
- package/src/DOMAPI/HTMLDivElement.res +0 -3
- package/src/DOMAPI/HTMLEmbedElement.res +0 -6
- package/src/DOMAPI/HTMLFormControlsCollection.res +0 -16
- package/src/DOMAPI/HTMLFrameSetElement.res +0 -3
- package/src/DOMAPI/HTMLHRElement.res +0 -3
- package/src/DOMAPI/HTMLHeadElement.res +0 -3
- package/src/DOMAPI/HTMLHeadingElement.res +0 -3
- package/src/DOMAPI/HTMLHtmlElement.res +0 -3
- package/src/DOMAPI/HTMLIFrameElement.res +0 -6
- package/src/DOMAPI/HTMLImageElement.res +0 -9
- package/src/DOMAPI/HTMLLIElement.res +0 -3
- package/src/DOMAPI/HTMLLabelElement.res +0 -3
- package/src/DOMAPI/HTMLLegendElement.res +0 -3
- package/src/DOMAPI/HTMLLinkElement.res +0 -3
- package/src/DOMAPI/HTMLMapElement.res +0 -3
- package/src/DOMAPI/HTMLMenuElement.res +0 -3
- package/src/DOMAPI/HTMLMetaElement.res +0 -3
- package/src/DOMAPI/HTMLMeterElement.res +0 -3
- package/src/DOMAPI/HTMLModElement.res +0 -3
- package/src/DOMAPI/HTMLOListElement.res +0 -3
- package/src/DOMAPI/HTMLOptGroupElement.res +0 -3
- package/src/DOMAPI/HTMLOptionElement.res +0 -3
- package/src/DOMAPI/HTMLParagraphElement.res +0 -3
- package/src/DOMAPI/HTMLPictureElement.res +0 -3
- package/src/DOMAPI/HTMLPreElement.res +0 -3
- package/src/DOMAPI/HTMLProgressElement.res +0 -3
- package/src/DOMAPI/HTMLQuoteElement.res +0 -3
- package/src/DOMAPI/HTMLSlotElement.res +0 -29
- package/src/DOMAPI/HTMLSourceElement.res +0 -3
- package/src/DOMAPI/HTMLSpanElement.res +0 -3
- package/src/DOMAPI/HTMLStyleElement.res +0 -3
- package/src/DOMAPI/HTMLTableCaptionElement.res +0 -3
- package/src/DOMAPI/HTMLTableCellElement.res +0 -3
- package/src/DOMAPI/HTMLTemplateElement.res +0 -3
- package/src/DOMAPI/HTMLTimeElement.res +0 -3
- package/src/DOMAPI/HTMLTitleElement.res +0 -3
- package/src/DOMAPI/HTMLTrackElement.res +0 -3
- package/src/DOMAPI/HTMLUListElement.res +0 -3
- package/src/DOMAPI/HTMLVideoElement.res +0 -31
- package/src/DOMAPI/MediaQueryList.res +0 -3
- package/src/DOMAPI/Navigator.res +0 -115
- package/src/DOMAPI/NodeFilter.res +0 -4
- package/src/DOMAPI/SVGGraphicsElement.res +0 -17
- package/src/DOMAPI/ScreenOrientation.res +0 -9
- package/src/DOMAPI/ShadowRoot.res +0 -21
- package/src/DOMAPI/StylePropertyMap.res +0 -50
- package/src/DOMAPI/TextTrackList.res +0 -10
- package/src/DOMAPI/VideoFrame.res +0 -111
- package/src/DOMAPI/Window.res +0 -517
- package/src/EncryptedMediaExtensionsAPI/MediaKeySystemAccess.res +0 -13
- package/src/EncryptedMediaExtensionsAPI/MediaKeys.res +0 -27
- package/src/FetchAPI/FormDataEntryValue.res +0 -22
- package/src/FileAPI/FileSystemDirectoryHandle.res +0 -45
- package/src/FileAPI/FileSystemFileHandle.res +0 -23
- package/src/FileAPI/FileSystemHandle.res +0 -7
- package/src/FileAPI/FileSystemWritableFileStream.res +0 -62
- package/src/FileAPI/ReadableStream.res +0 -60
- package/src/FileAPI/WritableStream.res +0 -28
- package/src/FileAndDirectoryEntriesAPI/FileSystemDirectoryEntry.res +0 -42
- package/src/FileAndDirectoryEntriesAPI/FileSystemDirectoryReader.res +0 -11
- package/src/FileAndDirectoryEntriesAPI/FileSystemEntry.res +0 -11
- package/src/GamepadAPI/GamepadHapticActuator.res +0 -17
- package/src/GeolocationAPI/Geolocation.res +0 -29
- package/src/IntersectionObserverAPI/IntersectionObserver.res +0 -35
- package/src/IntersectionObserverAPI/IntersectionObserverRoot.res +0 -22
- package/src/MediaCapabilitiesAPI/MediaCapabilities.res +0 -19
- package/src/MediaCaptureAndStreamsAPI/MediaDeviceInfo.res +0 -7
- package/src/MediaCaptureAndStreamsAPI/MediaDevices.res +0 -34
- package/src/MediaCaptureAndStreamsAPI/MediaStream.res +0 -63
- package/src/MediaCaptureAndStreamsAPI/MediaStreamTrack.res +0 -42
- package/src/MediaSessionAPI/MediaMetadata.res +0 -7
- package/src/MediaSessionAPI/MediaSession.res +0 -17
- package/src/MutationObserverAPI/MutationObserver.res +0 -27
- package/src/NotificationAPI/Notification.res +0 -29
- package/src/PerformanceAPI/Performance.res +0 -90
- package/src/PerformanceAPI/PerformanceMark.res +0 -15
- package/src/PermissionsAPI/Permissions.res +0 -7
- package/src/Prelude/DOMException.res +0 -7
- package/src/Prelude.res +0 -37
- package/src/PushAPI/ApplicationServerKey.res +0 -4
- package/src/PushAPI/PushEvent.res +0 -3
- package/src/PushAPI/PushManager.res +0 -25
- package/src/RemotePlaybackAPI/RemotePlayback.res +0 -23
- package/src/ResizeObserverAPI/ResizeObserver.res +0 -27
- package/src/ScreenWakeLockAPI/WakeLock.res +0 -7
- package/src/ScreenWakeLockAPI/WakeLockSentinel.res +0 -9
- package/src/ServiceWorkerAPI/Cache.res +0 -100
- package/src/ServiceWorkerAPI/ServiceWorker.res +0 -21
- package/src/ServiceWorkerAPI/ServiceWorkerContainer.res +0 -35
- package/src/ServiceWorkerAPI/ServiceWorkerGlobalScope.res +0 -10
- package/src/UIEventsAPI/CompositionEvent.res +0 -10
- package/src/UIEventsAPI/FocusEvent.res +0 -9
- package/src/UIEventsAPI/InputEvent.res +0 -16
- package/src/UIEventsAPI/KeyboardEvent.res +0 -16
- package/src/UIEventsAPI/PointerEvent.res +0 -21
- package/src/UIEventsAPI/TouchEvent.res +0 -9
- package/src/UIEventsAPI/UIEvent.res +0 -19
- package/src/UIEventsAPI/WheelEvent.res +0 -9
- package/src/WebAudioAPI/AnalyserNode.res +0 -34
- package/src/WebAudioAPI/AudioContext.res +0 -56
- package/src/WebAudioAPI/AudioDestinationNode.res +0 -3
- package/src/WebAudioAPI/AudioProcessingEvent.res +0 -10
- package/src/WebAudioAPI/AudioWorkletNode.res +0 -13
- package/src/WebAudioAPI/ChannelMergerNode.res +0 -10
- package/src/WebAudioAPI/ChannelSplitterNode.res +0 -12
- package/src/WebAudioAPI/ConstantSourceNode.res +0 -12
- package/src/WebAudioAPI/ConvolverNode.res +0 -10
- package/src/WebAudioAPI/DelayNode.res +0 -9
- package/src/WebAudioAPI/DynamicsCompressorNode.res +0 -12
- package/src/WebAudioAPI/GainNode.res +0 -9
- package/src/WebAudioAPI/MediaElementAudioSourceNode.res +0 -12
- package/src/WebAudioAPI/MediaStreamAudioDestinationNode.res +0 -12
- package/src/WebAudioAPI/MediaStreamAudioSourceNode.res +0 -12
- package/src/WebAudioAPI/OfflineAudioCompletionEvent.res +0 -12
- package/src/WebAudioAPI/OfflineAudioContext.res +0 -34
- package/src/WebAudioAPI/OscillatorNode.res +0 -16
- package/src/WebAudioAPI/PannerNode.res +0 -9
- package/src/WebAudioAPI/PeriodicWave.res +0 -8
- package/src/WebAudioAPI/StereoPannerNode.res +0 -10
- package/src/WebAudioAPI/WaveShaperNode.res +0 -10
- package/src/WebCryptoAPI/SubtleCrypto.res +0 -173
- package/src/WebLocksAPI/LockManager.res +0 -25
- package/src/WebSocketsAPI/CloseEvent.res +0 -9
- package/src/WebSocketsAPI/WebSocket.res +0 -51
- package/src/WebSpeechAPI/SpeechSynthesisUtterance.res +0 -9
- package/src/WebStorageAPI/StorageEvent.res +0 -9
- package/src/WebWorkersAPI/CacheStorage.res +0 -46
|
@@ -1,33 +1,33 @@
|
|
|
1
1
|
@@warning("-30")
|
|
2
2
|
|
|
3
|
-
|
|
4
|
-
|
|
5
|
-
|
|
6
|
-
|
|
7
|
-
|
|
8
|
-
|
|
9
|
-
|
|
10
|
-
|
|
11
|
-
|
|
12
|
-
|
|
13
|
-
|
|
14
|
-
|
|
15
|
-
|
|
16
|
-
|
|
17
|
-
|
|
18
|
-
|
|
19
|
-
|
|
20
|
-
|
|
21
|
-
|
|
22
|
-
|
|
23
|
-
|
|
24
|
-
|
|
25
|
-
|
|
26
|
-
|
|
27
|
-
|
|
28
|
-
|
|
29
|
-
|
|
30
|
-
|
|
3
|
+
/**
|
|
4
|
+
An abnormal event (called an exception) which occurs as a result of calling a method or accessing a property of a web API.
|
|
5
|
+
[See DOMException on MDN](https://developer.mozilla.org/docs/Web/API/DOMException)
|
|
6
|
+
*/
|
|
7
|
+
type domException = {
|
|
8
|
+
/**
|
|
9
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/DOMException/name)
|
|
10
|
+
*/
|
|
11
|
+
name: string,
|
|
12
|
+
/**
|
|
13
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/DOMException/message)
|
|
14
|
+
*/
|
|
15
|
+
message: string,
|
|
16
|
+
}
|
|
17
|
+
|
|
18
|
+
/**
|
|
19
|
+
A type returned by some APIs which contains a list of DOMString (strings).
|
|
20
|
+
[See DOMStringList on MDN](https://developer.mozilla.org/docs/Web/API/DOMStringList)
|
|
21
|
+
*/
|
|
22
|
+
type domStringList = {
|
|
23
|
+
/**
|
|
24
|
+
Returns the number of strings in strings.
|
|
25
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/DOMStringList/length)
|
|
26
|
+
*/
|
|
27
|
+
length: int,
|
|
28
|
+
}
|
|
29
|
+
|
|
30
|
+
type window
|
|
31
31
|
|
|
32
32
|
type shadowRootMode =
|
|
33
33
|
| @as("closed") Closed
|
|
@@ -192,17 +192,18 @@ type predefinedColorSpace =
|
|
|
192
192
|
| @as("srgb") Srgb
|
|
193
193
|
|
|
194
194
|
type shareData = {
|
|
195
|
-
mutable files?: array<file>,
|
|
195
|
+
mutable files?: array<BaseFile.file>,
|
|
196
196
|
mutable title?: string,
|
|
197
197
|
mutable text?: string,
|
|
198
198
|
mutable url?: string,
|
|
199
199
|
}
|
|
200
200
|
|
|
201
201
|
/**
|
|
202
|
-
|
|
202
|
+
The location (WebApiURL) of the object it is linked to. Changes done on it are reflected on the object it relates to. Both the Document and Window interface have such a linked Location, accessible via Document.location and Window.location respectively.
|
|
203
203
|
[See Location on MDN](https://developer.mozilla.org/docs/Web/API/Location)
|
|
204
|
+
TODO: mark as private once mutating fields of private records is allowed
|
|
204
205
|
*/
|
|
205
|
-
@editor.completeFrom(Location)
|
|
206
|
+
@editor.completeFrom(DOM.Location)
|
|
206
207
|
type location = {
|
|
207
208
|
/**
|
|
208
209
|
Returns the Location object's URL.
|
|
@@ -212,56 +213,56 @@ Can be set, to navigate to the given URL.
|
|
|
212
213
|
*/
|
|
213
214
|
mutable href: string,
|
|
214
215
|
/**
|
|
215
|
-
Returns the Location object's
|
|
216
|
+
Returns the Location object's WebApiURL's origin.
|
|
216
217
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Location/origin)
|
|
217
218
|
*/
|
|
218
219
|
origin: string,
|
|
219
220
|
/**
|
|
220
|
-
Returns the Location object's
|
|
221
|
+
Returns the Location object's WebApiURL's scheme.
|
|
221
222
|
|
|
222
|
-
Can be set, to navigate to the same
|
|
223
|
+
Can be set, to navigate to the same WebApiURL with a changed scheme.
|
|
223
224
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Location/protocol)
|
|
224
225
|
*/
|
|
225
226
|
mutable protocol: string,
|
|
226
227
|
/**
|
|
227
|
-
Returns the Location object's
|
|
228
|
+
Returns the Location object's WebApiURL's host and port (if different from the default port for the scheme).
|
|
228
229
|
|
|
229
|
-
Can be set, to navigate to the same
|
|
230
|
+
Can be set, to navigate to the same WebApiURL with a changed host and port.
|
|
230
231
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Location/host)
|
|
231
232
|
*/
|
|
232
233
|
mutable host: string,
|
|
233
234
|
/**
|
|
234
|
-
Returns the Location object's
|
|
235
|
+
Returns the Location object's WebApiURL's host.
|
|
235
236
|
|
|
236
|
-
Can be set, to navigate to the same
|
|
237
|
+
Can be set, to navigate to the same WebApiURL with a changed host.
|
|
237
238
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Location/hostname)
|
|
238
239
|
*/
|
|
239
240
|
mutable hostname: string,
|
|
240
241
|
/**
|
|
241
|
-
Returns the Location object's
|
|
242
|
+
Returns the Location object's WebApiURL's port.
|
|
242
243
|
|
|
243
|
-
Can be set, to navigate to the same
|
|
244
|
+
Can be set, to navigate to the same WebApiURL with a changed port.
|
|
244
245
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Location/port)
|
|
245
246
|
*/
|
|
246
247
|
mutable port: string,
|
|
247
248
|
/**
|
|
248
|
-
Returns the Location object's
|
|
249
|
+
Returns the Location object's WebApiURL's path.
|
|
249
250
|
|
|
250
|
-
Can be set, to navigate to the same
|
|
251
|
+
Can be set, to navigate to the same WebApiURL with a changed path.
|
|
251
252
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Location/pathname)
|
|
252
253
|
*/
|
|
253
254
|
mutable pathname: string,
|
|
254
255
|
/**
|
|
255
|
-
Returns the Location object's
|
|
256
|
+
Returns the Location object's WebApiURL's query (includes leading "?" if non-empty).
|
|
256
257
|
|
|
257
|
-
Can be set, to navigate to the same
|
|
258
|
+
Can be set, to navigate to the same WebApiURL with a changed query (ignores leading "?").
|
|
258
259
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Location/search)
|
|
259
260
|
*/
|
|
260
261
|
mutable search: string,
|
|
261
262
|
/**
|
|
262
|
-
Returns the Location object's
|
|
263
|
+
Returns the Location object's WebApiURL's fragment (includes leading "#" if non-empty).
|
|
263
264
|
|
|
264
|
-
Can be set, to navigate to the same
|
|
265
|
+
Can be set, to navigate to the same WebApiURL with a changed fragment (ignores leading "#").
|
|
265
266
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Location/hash)
|
|
266
267
|
*/
|
|
267
268
|
mutable hash: string,
|
|
@@ -290,99 +291,11 @@ type userActivation = {
|
|
|
290
291
|
The state and the identity of the user agent. It allows scripts to query it and to register themselves to carry on some activities.
|
|
291
292
|
[See Navigator on MDN](https://developer.mozilla.org/docs/Web/API/Navigator)
|
|
292
293
|
*/
|
|
293
|
-
@editor.completeFrom(Navigator)
|
|
294
|
-
type navigator
|
|
295
|
-
/**
|
|
296
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Navigator/clipboard)
|
|
297
|
-
*/
|
|
298
|
-
clipboard: clipboard,
|
|
299
|
-
/**
|
|
300
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Navigator/credentials)
|
|
301
|
-
*/
|
|
302
|
-
credentials: credentialsContainer,
|
|
303
|
-
/**
|
|
304
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Navigator/geolocation)
|
|
305
|
-
*/
|
|
306
|
-
geolocation: geolocation,
|
|
307
|
-
/**
|
|
308
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Navigator/userActivation)
|
|
309
|
-
*/
|
|
310
|
-
userActivation: userActivation,
|
|
311
|
-
/**
|
|
312
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Navigator/mediaCapabilities)
|
|
313
|
-
*/
|
|
314
|
-
mediaCapabilities: mediaCapabilities,
|
|
315
|
-
/**
|
|
316
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Navigator/mediaDevices)
|
|
317
|
-
*/
|
|
318
|
-
mediaDevices: mediaDevices,
|
|
319
|
-
/**
|
|
320
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Navigator/mediaSession)
|
|
321
|
-
*/
|
|
322
|
-
mediaSession: mediaSession,
|
|
323
|
-
/**
|
|
324
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Navigator/permissions)
|
|
325
|
-
*/
|
|
326
|
-
permissions: permissions,
|
|
327
|
-
/**
|
|
328
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Navigator/maxTouchPoints)
|
|
329
|
-
*/
|
|
330
|
-
maxTouchPoints: int,
|
|
331
|
-
/**
|
|
332
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Navigator/wakeLock)
|
|
333
|
-
*/
|
|
334
|
-
wakeLock: wakeLock,
|
|
335
|
-
/**
|
|
336
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Navigator/serviceWorker)
|
|
337
|
-
*/
|
|
338
|
-
serviceWorker: serviceWorkerContainer,
|
|
339
|
-
/**
|
|
340
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Navigator/userAgent)
|
|
341
|
-
*/
|
|
342
|
-
userAgent: string,
|
|
343
|
-
/**
|
|
344
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Navigator/language)
|
|
345
|
-
*/
|
|
346
|
-
language: string,
|
|
347
|
-
/**
|
|
348
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Navigator/languages)
|
|
349
|
-
*/
|
|
350
|
-
languages: array<string>,
|
|
351
|
-
/**
|
|
352
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Navigator/onLine)
|
|
353
|
-
*/
|
|
354
|
-
onLine: bool,
|
|
355
|
-
/**
|
|
356
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Navigator/cookieEnabled)
|
|
357
|
-
*/
|
|
358
|
-
cookieEnabled: bool,
|
|
359
|
-
/**
|
|
360
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Navigator/pdfViewerEnabled)
|
|
361
|
-
*/
|
|
362
|
-
pdfViewerEnabled: bool,
|
|
363
|
-
/**
|
|
364
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Navigator/hardwareConcurrency)
|
|
365
|
-
*/
|
|
366
|
-
hardwareConcurrency: int,
|
|
367
|
-
/**
|
|
368
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Navigator/storage)
|
|
369
|
-
*/
|
|
370
|
-
storage: storageManager,
|
|
371
|
-
/**
|
|
372
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Navigator/locks)
|
|
373
|
-
*/
|
|
374
|
-
locks: lockManager,
|
|
375
|
-
/**
|
|
376
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Navigator/webdriver)
|
|
377
|
-
*/
|
|
378
|
-
webdriver: bool,
|
|
379
|
-
}
|
|
294
|
+
@editor.completeFrom(DOM.Navigator)
|
|
295
|
+
type navigator
|
|
380
296
|
|
|
381
|
-
|
|
382
|
-
|
|
383
|
-
[See DOMTokenList on MDN](https://developer.mozilla.org/docs/Web/API/DOMTokenList)
|
|
384
|
-
*/
|
|
385
|
-
@editor.completeFrom(DOMTokenList)
|
|
297
|
+
// TODO: mark as private once mutating fields of private records is allowed
|
|
298
|
+
@editor.completeFrom(DOM.DOMTokenList)
|
|
386
299
|
type domTokenList = {
|
|
387
300
|
/**
|
|
388
301
|
Returns the number of tokens.
|
|
@@ -402,8 +315,8 @@ Can be set, to change the associated attribute.
|
|
|
402
315
|
A collection of Attr objects. Objects inside a NamedNodeMap are not in any particular order, unlike NodeList, although they may be accessed by an index as in an array.
|
|
403
316
|
[See NamedNodeMap on MDN](https://developer.mozilla.org/docs/Web/API/NamedNodeMap)
|
|
404
317
|
*/
|
|
405
|
-
@editor.completeFrom(NamedNodeMap)
|
|
406
|
-
type namedNodeMap = {
|
|
318
|
+
@editor.completeFrom(DOM.NamedNodeMap)
|
|
319
|
+
type namedNodeMap = private {
|
|
407
320
|
/**
|
|
408
321
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/NamedNodeMap/length)
|
|
409
322
|
*/
|
|
@@ -418,8 +331,8 @@ type fragmentDirective = {}
|
|
|
418
331
|
/**
|
|
419
332
|
[See CustomElementRegistry on MDN](https://developer.mozilla.org/docs/Web/API/CustomElementRegistry)
|
|
420
333
|
*/
|
|
421
|
-
@editor.completeFrom(CustomElementRegistry)
|
|
422
|
-
type customElementRegistry = {}
|
|
334
|
+
@editor.completeFrom(DOM.CustomElementRegistry)
|
|
335
|
+
type customElementRegistry = private {}
|
|
423
336
|
|
|
424
337
|
/**
|
|
425
338
|
[See BarProp on MDN](https://developer.mozilla.org/docs/Web/API/BarProp)
|
|
@@ -434,9 +347,9 @@ type barProp = {
|
|
|
434
347
|
/**
|
|
435
348
|
[See ScreenOrientation on MDN](https://developer.mozilla.org/docs/Web/API/ScreenOrientation)
|
|
436
349
|
*/
|
|
437
|
-
@editor.completeFrom(ScreenOrientation)
|
|
438
|
-
type screenOrientation = {
|
|
439
|
-
...eventTarget,
|
|
350
|
+
@editor.completeFrom(DOM.ScreenOrientation)
|
|
351
|
+
type screenOrientation = private {
|
|
352
|
+
...BaseEvent.eventTarget,
|
|
440
353
|
/**
|
|
441
354
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/ScreenOrientation/type)
|
|
442
355
|
*/
|
|
@@ -488,15 +401,15 @@ type vibratePattern =
|
|
|
488
401
|
| Int(int)
|
|
489
402
|
| IntArray(array<int>)
|
|
490
403
|
|
|
491
|
-
type renderingContext =
|
|
404
|
+
type renderingContext = unknown
|
|
492
405
|
|
|
493
|
-
type offscreenRenderingContext =
|
|
406
|
+
type offscreenRenderingContext = unknown
|
|
494
407
|
|
|
495
408
|
/**
|
|
496
409
|
[See AnimationTimeline on MDN](https://developer.mozilla.org/docs/Web/API/AnimationTimeline)
|
|
497
410
|
*/
|
|
498
|
-
@editor.completeFrom(Animation)
|
|
499
|
-
type rec animationTimeline = {
|
|
411
|
+
@editor.completeFrom(DOM.Animation)
|
|
412
|
+
type rec animationTimeline = private {
|
|
500
413
|
/**
|
|
501
414
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/AnimationTimeline/currentTime)
|
|
502
415
|
*/
|
|
@@ -506,7 +419,7 @@ type rec animationTimeline = {
|
|
|
506
419
|
/**
|
|
507
420
|
[See DocumentTimeline on MDN](https://developer.mozilla.org/docs/Web/API/DocumentTimeline)
|
|
508
421
|
*/
|
|
509
|
-
@editor.completeFrom(DocumentTimeline) and documentTimeline = {
|
|
422
|
+
@editor.completeFrom(DOM.DocumentTimeline) and documentTimeline = private {
|
|
510
423
|
// Base properties from AnimationTimeline
|
|
511
424
|
/**
|
|
512
425
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/AnimationTimeline/currentTime)
|
|
@@ -517,8 +430,9 @@ type rec animationTimeline = {
|
|
|
517
430
|
|
|
518
431
|
/**
|
|
519
432
|
[See MediaList on MDN](https://developer.mozilla.org/docs/Web/API/MediaList)
|
|
433
|
+
TODO: mark as private once mutating fields of private records is allowed
|
|
520
434
|
*/
|
|
521
|
-
@editor.completeFrom(MediaList)
|
|
435
|
+
@editor.completeFrom(DOM.MediaList)
|
|
522
436
|
type mediaList = {
|
|
523
437
|
/**
|
|
524
438
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/MediaList/mediaText)
|
|
@@ -533,8 +447,8 @@ type mediaList = {
|
|
|
533
447
|
/**
|
|
534
448
|
[See StylePropertyMapReadOnly on MDN](https://developer.mozilla.org/docs/Web/API/StylePropertyMapReadOnly)
|
|
535
449
|
*/
|
|
536
|
-
@editor.completeFrom(StylePropertyMapReadOnly)
|
|
537
|
-
type stylePropertyMapReadOnly = {
|
|
450
|
+
@editor.completeFrom(DOM.StylePropertyMapReadOnly)
|
|
451
|
+
type stylePropertyMapReadOnly = private {
|
|
538
452
|
/**
|
|
539
453
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/StylePropertyMapReadOnly/size)
|
|
540
454
|
*/
|
|
@@ -544,8 +458,8 @@ type stylePropertyMapReadOnly = {
|
|
|
544
458
|
/**
|
|
545
459
|
[See StylePropertyMap on MDN](https://developer.mozilla.org/docs/Web/API/StylePropertyMap)
|
|
546
460
|
*/
|
|
547
|
-
@editor.completeFrom(StylePropertyMap)
|
|
548
|
-
type stylePropertyMap = {
|
|
461
|
+
@editor.completeFrom(DOM.StylePropertyMap)
|
|
462
|
+
type stylePropertyMap = private {
|
|
549
463
|
...stylePropertyMapReadOnly,
|
|
550
464
|
}
|
|
551
465
|
|
|
@@ -559,8 +473,8 @@ type domStringMap = {}
|
|
|
559
473
|
A list of StyleSheet.
|
|
560
474
|
[See StyleSheetList on MDN](https://developer.mozilla.org/docs/Web/API/StyleSheetList)
|
|
561
475
|
*/
|
|
562
|
-
@editor.completeFrom(StyleSheetList)
|
|
563
|
-
type rec styleSheetList = {
|
|
476
|
+
@editor.completeFrom(DOM.StyleSheetList)
|
|
477
|
+
type rec styleSheetList = private {
|
|
564
478
|
/**
|
|
565
479
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/StyleSheetList/length)
|
|
566
480
|
*/
|
|
@@ -606,8 +520,9 @@ and styleSheet = {
|
|
|
606
520
|
/**
|
|
607
521
|
A single CSS style sheet. It inherits properties and methods from its parent, StyleSheet.
|
|
608
522
|
[See CSSStyleSheet on MDN](https://developer.mozilla.org/docs/Web/API/CSSStyleSheet)
|
|
523
|
+
TODO: mark as private once mutating fields of private records is allowed
|
|
609
524
|
*/
|
|
610
|
-
@editor.completeFrom(CSSStyleSheet) and cssStyleSheet = {
|
|
525
|
+
@editor.completeFrom(DOM.CSSStyleSheet) and cssStyleSheet = {
|
|
611
526
|
// Base properties from StyleSheet
|
|
612
527
|
/**
|
|
613
528
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/StyleSheet/type)
|
|
@@ -673,7 +588,7 @@ and cssRule = {
|
|
|
673
588
|
A CSSRuleList is an (indirect-modify only) array-like object containing an ordered collection of CSSRule objects.
|
|
674
589
|
[See CSSRuleList on MDN](https://developer.mozilla.org/docs/Web/API/CSSRuleList)
|
|
675
590
|
*/
|
|
676
|
-
@editor.completeFrom(CSSRuleList) and cssRuleList = {
|
|
591
|
+
@editor.completeFrom(DOM.CSSRuleList) and cssRuleList = private {
|
|
677
592
|
/**
|
|
678
593
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/CSSRuleList/length)
|
|
679
594
|
*/
|
|
@@ -683,8 +598,9 @@ A CSSRuleList is an (indirect-modify only) array-like object containing an order
|
|
|
683
598
|
/**
|
|
684
599
|
An object that is a CSS declaration block, and exposes style information and various style-related methods and properties.
|
|
685
600
|
[See CSSStyleDeclaration on MDN](https://developer.mozilla.org/docs/Web/API/CSSStyleDeclaration)
|
|
601
|
+
TODO: mark as private once mutating fields of private records is allowed
|
|
686
602
|
*/
|
|
687
|
-
@editor.completeFrom(CSSStyleDeclaration) and cssStyleDeclaration = {
|
|
603
|
+
@editor.completeFrom(DOM.CSSStyleDeclaration) and cssStyleDeclaration = {
|
|
688
604
|
/**
|
|
689
605
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/CSSStyleDeclaration/cssText)
|
|
690
606
|
*/
|
|
@@ -2388,12 +2304,13 @@ An object that is a CSS declaration block, and exposes style information and var
|
|
|
2388
2304
|
}
|
|
2389
2305
|
|
|
2390
2306
|
/**
|
|
2391
|
-
Node is an interface from which a number of
|
|
2307
|
+
Node is an interface from which a number of WebApiDOM API object types inherit. It allows those types to be treated similarly; for example, inheriting the same set of methods, or being tested in the same way.
|
|
2392
2308
|
[See Node on MDN](https://developer.mozilla.org/docs/Web/API/Node)
|
|
2309
|
+
TODO: mark as private once mutating fields of private records is allowed
|
|
2393
2310
|
*/
|
|
2394
|
-
@editor.completeFrom(Node)
|
|
2311
|
+
@editor.completeFrom(DOM.Node)
|
|
2395
2312
|
type rec node = {
|
|
2396
|
-
...eventTarget,
|
|
2313
|
+
...BaseEvent.eventTarget,
|
|
2397
2314
|
/**
|
|
2398
2315
|
Returns the type of node.
|
|
2399
2316
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Node/nodeType)
|
|
@@ -2468,7 +2385,7 @@ type rec node = {
|
|
|
2468
2385
|
NodeList objects are collections of nodes, usually returned by properties such as Node.childNodes and methods such as document.querySelectorAll().
|
|
2469
2386
|
[See NodeList on MDN](https://developer.mozilla.org/docs/Web/API/NodeList)
|
|
2470
2387
|
*/
|
|
2471
|
-
@editor.completeFrom(NodeList) and nodeList<'tNode> = {
|
|
2388
|
+
@editor.completeFrom(DOM.NodeList) and nodeList<'tNode> = private {
|
|
2472
2389
|
/**
|
|
2473
2390
|
Returns the number of nodes in the collection.
|
|
2474
2391
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/NodeList/length)
|
|
@@ -2479,8 +2396,9 @@ NodeList objects are collections of nodes, usually returned by properties such a
|
|
|
2479
2396
|
/**
|
|
2480
2397
|
Element is the most general base class from which all objects in a Document inherit. It only has methods and properties common to all kinds of elements. More specific classes inherit from Element.
|
|
2481
2398
|
[See Element on MDN](https://developer.mozilla.org/docs/Web/API/Element)
|
|
2399
|
+
TODO: mark as private once mutating fields of private records is allowed
|
|
2482
2400
|
*/
|
|
2483
|
-
@editor.completeFrom(Element) and element = {
|
|
2401
|
+
@editor.completeFrom(DOM.Element) and element = {
|
|
2484
2402
|
// Base properties from Node
|
|
2485
2403
|
/**
|
|
2486
2404
|
Returns the type of node.
|
|
@@ -2850,8 +2768,9 @@ Element is the most general base class from which all objects in a Document inhe
|
|
|
2850
2768
|
|
|
2851
2769
|
/**
|
|
2852
2770
|
[See ShadowRoot on MDN](https://developer.mozilla.org/docs/Web/API/ShadowRoot)
|
|
2771
|
+
TODO: mark as private once mutating fields of private records is allowed
|
|
2853
2772
|
*/
|
|
2854
|
-
@editor.completeFrom(ShadowRoot) and shadowRoot = {
|
|
2773
|
+
@editor.completeFrom(DOM.ShadowRoot) and shadowRoot = {
|
|
2855
2774
|
// Base properties from DocumentFragment
|
|
2856
2775
|
// End base properties from DocumentFragment
|
|
2857
2776
|
|
|
@@ -2991,7 +2910,7 @@ Similarly, when the focused element is in a different node tree than documentOrS
|
|
|
2991
2910
|
A generic collection (array-like object similar to arguments) of elements (in document order) and offers methods and properties for selecting from the list.
|
|
2992
2911
|
[See HTMLCollection on MDN](https://developer.mozilla.org/docs/Web/API/HTMLCollection)
|
|
2993
2912
|
*/
|
|
2994
|
-
@editor.completeFrom(HTMLCollection) and htmlCollection<'t> = {
|
|
2913
|
+
@editor.completeFrom(DOM.HTMLCollection) and htmlCollection<'t> = private {
|
|
2995
2914
|
/**
|
|
2996
2915
|
Sets or retrieves the number of objects in a collection.
|
|
2997
2916
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLCollection/length)
|
|
@@ -3003,7 +2922,7 @@ A generic collection (array-like object similar to arguments) of elements (in do
|
|
|
3003
2922
|
A collection of HTML form control elements.
|
|
3004
2923
|
[See HTMLFormControlsCollection on MDN](https://developer.mozilla.org/docs/Web/API/HTMLFormControlsCollection)
|
|
3005
2924
|
*/
|
|
3006
|
-
@editor.completeFrom(HTMLFormControlsCollection) and htmlFormControlsCollection = {
|
|
2925
|
+
@editor.completeFrom(DOM.DOM.HTMLFormControlsCollection) and htmlFormControlsCollection = private {
|
|
3007
2926
|
// Base properties from HTMLCollection
|
|
3008
2927
|
/**
|
|
3009
2928
|
Sets or retrieves the number of objects in a collection.
|
|
@@ -3016,8 +2935,9 @@ A collection of HTML form control elements.
|
|
|
3016
2935
|
/**
|
|
3017
2936
|
Any HTML element. Some elements directly implement this interface, while others implement it via an interface that inherits it.
|
|
3018
2937
|
[See HTMLElement on MDN](https://developer.mozilla.org/docs/Web/API/HTMLElement)
|
|
2938
|
+
TODO: mark as private once mutating fields of private records is allowed
|
|
3019
2939
|
*/
|
|
3020
|
-
@editor.completeFrom(HTMLElement) and htmlElement = {
|
|
2940
|
+
@editor.completeFrom(DOM.HTMLElement) and htmlElement = {
|
|
3021
2941
|
// Base properties from Element
|
|
3022
2942
|
/**
|
|
3023
2943
|
Returns the namespace.
|
|
@@ -3310,8 +3230,9 @@ Any HTML element. Some elements directly implement this interface, while others
|
|
|
3310
3230
|
/**
|
|
3311
3231
|
Contains the descriptive information, or metadata, for a document. This object inherits all of the properties and methods described in the HTMLElement interface.
|
|
3312
3232
|
[See HTMLHeadElement on MDN](https://developer.mozilla.org/docs/Web/API/HTMLHeadElement)
|
|
3233
|
+
TODO: mark as private once mutating fields of private records is allowed
|
|
3313
3234
|
*/
|
|
3314
|
-
@editor.completeFrom(HTMLHeadElement) and htmlHeadElement = {
|
|
3235
|
+
@editor.completeFrom(DOM.HTMLHeadElement) and htmlHeadElement = {
|
|
3315
3236
|
// Base properties from HTMLElement
|
|
3316
3237
|
/**
|
|
3317
3238
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLElement/title)
|
|
@@ -3564,10 +3485,11 @@ Contains the descriptive information, or metadata, for a document. This object i
|
|
|
3564
3485
|
}
|
|
3565
3486
|
|
|
3566
3487
|
/**
|
|
3567
|
-
A <form> element in the
|
|
3488
|
+
A <form> element in the WebApiDOM; it allows access to and in some cases modification of aspects of the form, as well as access to its component elements.
|
|
3568
3489
|
[See HTMLFormElement on MDN](https://developer.mozilla.org/docs/Web/API/HTMLFormElement)
|
|
3490
|
+
TODO: mark as private once mutating fields of private records is allowed
|
|
3569
3491
|
*/
|
|
3570
|
-
@editor.completeFrom(HTMLFormElement) and htmlFormElement = {
|
|
3492
|
+
@editor.completeFrom(DOM.HTMLFormElement) and htmlFormElement = {
|
|
3571
3493
|
// Base properties from HTMLElement
|
|
3572
3494
|
/**
|
|
3573
3495
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLElement/title)
|
|
@@ -3824,7 +3746,7 @@ A <form> element in the DOM; it allows access to and in some cases modification
|
|
|
3824
3746
|
*/
|
|
3825
3747
|
mutable acceptCharset: string,
|
|
3826
3748
|
/**
|
|
3827
|
-
Sets or retrieves the
|
|
3749
|
+
Sets or retrieves the WebApiURL to which the form content is sent for processing.
|
|
3828
3750
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLFormElement/action)
|
|
3829
3751
|
*/
|
|
3830
3752
|
mutable action: string,
|
|
@@ -3873,8 +3795,9 @@ A <form> element in the DOM; it allows access to and in some cases modification
|
|
|
3873
3795
|
/**
|
|
3874
3796
|
Provides special properties and methods for manipulating <img> elements.
|
|
3875
3797
|
[See HTMLImageElement on MDN](https://developer.mozilla.org/docs/Web/API/HTMLImageElement)
|
|
3798
|
+
TODO: mark as private once mutating fields of private records is allowed
|
|
3876
3799
|
*/
|
|
3877
|
-
@editor.completeFrom(HTMLImageElement) and htmlImageElement = {
|
|
3800
|
+
@editor.completeFrom(DOM.HTMLImageElement) and htmlImageElement = {
|
|
3878
3801
|
// Base properties from HTMLElement
|
|
3879
3802
|
/**
|
|
3880
3803
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLElement/title)
|
|
@@ -4131,7 +4054,7 @@ Provides special properties and methods for manipulating <img> elements.
|
|
|
4131
4054
|
*/
|
|
4132
4055
|
mutable alt: string,
|
|
4133
4056
|
/**
|
|
4134
|
-
The address or
|
|
4057
|
+
The address or WebApiURL of the a media resource that is to be considered.
|
|
4135
4058
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLImageElement/src)
|
|
4136
4059
|
*/
|
|
4137
4060
|
mutable src: string,
|
|
@@ -4148,7 +4071,7 @@ Provides special properties and methods for manipulating <img> elements.
|
|
|
4148
4071
|
*/
|
|
4149
4072
|
mutable crossOrigin: Null.t<string>,
|
|
4150
4073
|
/**
|
|
4151
|
-
Sets or retrieves the
|
|
4074
|
+
Sets or retrieves the WebApiURL, often with a bookmark extension (#name), to use as a client-side image map.
|
|
4152
4075
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLImageElement/useMap)
|
|
4153
4076
|
*/
|
|
4154
4077
|
mutable useMap: string,
|
|
@@ -4216,8 +4139,9 @@ Provides special properties and methods for manipulating <img> elements.
|
|
|
4216
4139
|
/**
|
|
4217
4140
|
Provides special properties (beyond the regular HTMLElement interface it also has available to it by inheritance) for manipulating <embed> elements.
|
|
4218
4141
|
[See HTMLEmbedElement on MDN](https://developer.mozilla.org/docs/Web/API/HTMLEmbedElement)
|
|
4142
|
+
TODO: mark as private once mutating fields of private records is allowed
|
|
4219
4143
|
*/
|
|
4220
|
-
@editor.completeFrom(HTMLEmbedElement) and htmlEmbedElement = {
|
|
4144
|
+
@editor.completeFrom(DOM.HTMLEmbedElement) and htmlEmbedElement = {
|
|
4221
4145
|
// Base properties from HTMLElement
|
|
4222
4146
|
/**
|
|
4223
4147
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLElement/title)
|
|
@@ -4469,7 +4393,7 @@ Provides special properties (beyond the regular HTMLElement interface it also ha
|
|
|
4469
4393
|
// End base properties from Node
|
|
4470
4394
|
|
|
4471
4395
|
/**
|
|
4472
|
-
Sets or retrieves a
|
|
4396
|
+
Sets or retrieves a WebApiURL to be loaded by the object.
|
|
4473
4397
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLEmbedElement/src)
|
|
4474
4398
|
*/
|
|
4475
4399
|
mutable src: string,
|
|
@@ -4488,8 +4412,9 @@ Provides special properties (beyond the regular HTMLElement interface it also ha
|
|
|
4488
4412
|
/**
|
|
4489
4413
|
Hyperlink elements and provides special properties and methods (beyond those of the regular HTMLElement object interface that they inherit from) for manipulating the layout and presentation of such elements.
|
|
4490
4414
|
[See HTMLAnchorElement on MDN](https://developer.mozilla.org/docs/Web/API/HTMLAnchorElement)
|
|
4415
|
+
TODO: mark as private once mutating fields of private records is allowed
|
|
4491
4416
|
*/
|
|
4492
|
-
@editor.completeFrom(HTMLAnchorElement) and htmlAnchorElement = {
|
|
4417
|
+
@editor.completeFrom(DOM.HTMLAnchorElement) and htmlAnchorElement = {
|
|
4493
4418
|
// Base properties from HTMLElement
|
|
4494
4419
|
/**
|
|
4495
4420
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLElement/title)
|
|
@@ -4789,70 +4714,70 @@ Can be set, to change the URL.
|
|
|
4789
4714
|
*/
|
|
4790
4715
|
mutable href: string,
|
|
4791
4716
|
/**
|
|
4792
|
-
Returns the hyperlink's
|
|
4717
|
+
Returns the hyperlink's WebApiURL's origin.
|
|
4793
4718
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLAnchorElement/origin)
|
|
4794
4719
|
*/
|
|
4795
4720
|
origin: string,
|
|
4796
4721
|
/**
|
|
4797
|
-
Returns the hyperlink's
|
|
4722
|
+
Returns the hyperlink's WebApiURL's scheme.
|
|
4798
4723
|
|
|
4799
|
-
Can be set, to change the
|
|
4724
|
+
Can be set, to change the WebApiURL's scheme.
|
|
4800
4725
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLAnchorElement/protocol)
|
|
4801
4726
|
*/
|
|
4802
4727
|
mutable protocol: string,
|
|
4803
4728
|
/**
|
|
4804
|
-
Returns the hyperlink's
|
|
4729
|
+
Returns the hyperlink's WebApiURL's username.
|
|
4805
4730
|
|
|
4806
|
-
Can be set, to change the
|
|
4731
|
+
Can be set, to change the WebApiURL's username.
|
|
4807
4732
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLAnchorElement/username)
|
|
4808
4733
|
*/
|
|
4809
4734
|
mutable username: string,
|
|
4810
4735
|
/**
|
|
4811
|
-
Returns the hyperlink's
|
|
4736
|
+
Returns the hyperlink's WebApiURL's password.
|
|
4812
4737
|
|
|
4813
|
-
Can be set, to change the
|
|
4738
|
+
Can be set, to change the WebApiURL's password.
|
|
4814
4739
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLAnchorElement/password)
|
|
4815
4740
|
*/
|
|
4816
4741
|
mutable password: string,
|
|
4817
4742
|
/**
|
|
4818
|
-
Returns the hyperlink's
|
|
4743
|
+
Returns the hyperlink's WebApiURL's host and port (if different from the default port for the scheme).
|
|
4819
4744
|
|
|
4820
|
-
Can be set, to change the
|
|
4745
|
+
Can be set, to change the WebApiURL's host and port.
|
|
4821
4746
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLAnchorElement/host)
|
|
4822
4747
|
*/
|
|
4823
4748
|
mutable host: string,
|
|
4824
4749
|
/**
|
|
4825
|
-
Returns the hyperlink's
|
|
4750
|
+
Returns the hyperlink's WebApiURL's host.
|
|
4826
4751
|
|
|
4827
|
-
Can be set, to change the
|
|
4752
|
+
Can be set, to change the WebApiURL's host.
|
|
4828
4753
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLAnchorElement/hostname)
|
|
4829
4754
|
*/
|
|
4830
4755
|
mutable hostname: string,
|
|
4831
4756
|
/**
|
|
4832
|
-
Returns the hyperlink's
|
|
4757
|
+
Returns the hyperlink's WebApiURL's port.
|
|
4833
4758
|
|
|
4834
|
-
Can be set, to change the
|
|
4759
|
+
Can be set, to change the WebApiURL's port.
|
|
4835
4760
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLAnchorElement/port)
|
|
4836
4761
|
*/
|
|
4837
4762
|
mutable port: string,
|
|
4838
4763
|
/**
|
|
4839
|
-
Returns the hyperlink's
|
|
4764
|
+
Returns the hyperlink's WebApiURL's path.
|
|
4840
4765
|
|
|
4841
|
-
Can be set, to change the
|
|
4766
|
+
Can be set, to change the WebApiURL's path.
|
|
4842
4767
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLAnchorElement/pathname)
|
|
4843
4768
|
*/
|
|
4844
4769
|
mutable pathname: string,
|
|
4845
4770
|
/**
|
|
4846
|
-
Returns the hyperlink's
|
|
4771
|
+
Returns the hyperlink's WebApiURL's query (includes leading "?" if non-empty).
|
|
4847
4772
|
|
|
4848
|
-
Can be set, to change the
|
|
4773
|
+
Can be set, to change the WebApiURL's query (ignores leading "?").
|
|
4849
4774
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLAnchorElement/search)
|
|
4850
4775
|
*/
|
|
4851
4776
|
mutable search: string,
|
|
4852
4777
|
/**
|
|
4853
|
-
Returns the hyperlink's
|
|
4778
|
+
Returns the hyperlink's WebApiURL's fragment (includes leading "#" if non-empty).
|
|
4854
4779
|
|
|
4855
|
-
Can be set, to change the
|
|
4780
|
+
Can be set, to change the WebApiURL's fragment (ignores leading "#").
|
|
4856
4781
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLAnchorElement/hash)
|
|
4857
4782
|
*/
|
|
4858
4783
|
mutable hash: string,
|
|
@@ -4861,8 +4786,9 @@ Can be set, to change the URL's fragment (ignores leading "#").
|
|
|
4861
4786
|
/**
|
|
4862
4787
|
Provides special properties and methods (beyond those of the regular object HTMLElement interface it also has available to it by inheritance) for manipulating the layout and presentation of <area> elements.
|
|
4863
4788
|
[See HTMLAreaElement on MDN](https://developer.mozilla.org/docs/Web/API/HTMLAreaElement)
|
|
4789
|
+
TODO: mark as private once mutating fields of private records is allowed
|
|
4864
4790
|
*/
|
|
4865
|
-
@editor.completeFrom(HTMLAreaElement) and htmlAreaElement = {
|
|
4791
|
+
@editor.completeFrom(DOM.HTMLAreaElement) and htmlAreaElement = {
|
|
4866
4792
|
// Base properties from HTMLElement
|
|
4867
4793
|
/**
|
|
4868
4794
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLElement/title)
|
|
@@ -5142,70 +5068,70 @@ Can be set, to change the URL.
|
|
|
5142
5068
|
*/
|
|
5143
5069
|
mutable href: string,
|
|
5144
5070
|
/**
|
|
5145
|
-
Returns the hyperlink's
|
|
5071
|
+
Returns the hyperlink's WebApiURL's origin.
|
|
5146
5072
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLAnchorElement/origin)
|
|
5147
5073
|
*/
|
|
5148
5074
|
origin: string,
|
|
5149
5075
|
/**
|
|
5150
|
-
Returns the hyperlink's
|
|
5076
|
+
Returns the hyperlink's WebApiURL's scheme.
|
|
5151
5077
|
|
|
5152
|
-
Can be set, to change the
|
|
5078
|
+
Can be set, to change the WebApiURL's scheme.
|
|
5153
5079
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLAnchorElement/protocol)
|
|
5154
5080
|
*/
|
|
5155
5081
|
mutable protocol: string,
|
|
5156
5082
|
/**
|
|
5157
|
-
Returns the hyperlink's
|
|
5083
|
+
Returns the hyperlink's WebApiURL's username.
|
|
5158
5084
|
|
|
5159
|
-
Can be set, to change the
|
|
5085
|
+
Can be set, to change the WebApiURL's username.
|
|
5160
5086
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLAnchorElement/username)
|
|
5161
5087
|
*/
|
|
5162
5088
|
mutable username: string,
|
|
5163
5089
|
/**
|
|
5164
|
-
Returns the hyperlink's
|
|
5090
|
+
Returns the hyperlink's WebApiURL's password.
|
|
5165
5091
|
|
|
5166
|
-
Can be set, to change the
|
|
5092
|
+
Can be set, to change the WebApiURL's password.
|
|
5167
5093
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLAnchorElement/password)
|
|
5168
5094
|
*/
|
|
5169
5095
|
mutable password: string,
|
|
5170
5096
|
/**
|
|
5171
|
-
Returns the hyperlink's
|
|
5097
|
+
Returns the hyperlink's WebApiURL's host and port (if different from the default port for the scheme).
|
|
5172
5098
|
|
|
5173
|
-
Can be set, to change the
|
|
5099
|
+
Can be set, to change the WebApiURL's host and port.
|
|
5174
5100
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLAnchorElement/host)
|
|
5175
5101
|
*/
|
|
5176
5102
|
mutable host: string,
|
|
5177
5103
|
/**
|
|
5178
|
-
Returns the hyperlink's
|
|
5104
|
+
Returns the hyperlink's WebApiURL's host.
|
|
5179
5105
|
|
|
5180
|
-
Can be set, to change the
|
|
5106
|
+
Can be set, to change the WebApiURL's host.
|
|
5181
5107
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLAnchorElement/hostname)
|
|
5182
5108
|
*/
|
|
5183
5109
|
mutable hostname: string,
|
|
5184
5110
|
/**
|
|
5185
|
-
Returns the hyperlink's
|
|
5111
|
+
Returns the hyperlink's WebApiURL's port.
|
|
5186
5112
|
|
|
5187
|
-
Can be set, to change the
|
|
5113
|
+
Can be set, to change the WebApiURL's port.
|
|
5188
5114
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLAnchorElement/port)
|
|
5189
5115
|
*/
|
|
5190
5116
|
mutable port: string,
|
|
5191
5117
|
/**
|
|
5192
|
-
Returns the hyperlink's
|
|
5118
|
+
Returns the hyperlink's WebApiURL's path.
|
|
5193
5119
|
|
|
5194
|
-
Can be set, to change the
|
|
5120
|
+
Can be set, to change the WebApiURL's path.
|
|
5195
5121
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLAnchorElement/pathname)
|
|
5196
5122
|
*/
|
|
5197
5123
|
mutable pathname: string,
|
|
5198
5124
|
/**
|
|
5199
|
-
Returns the hyperlink's
|
|
5125
|
+
Returns the hyperlink's WebApiURL's query (includes leading "?" if non-empty).
|
|
5200
5126
|
|
|
5201
|
-
Can be set, to change the
|
|
5127
|
+
Can be set, to change the WebApiURL's query (ignores leading "?").
|
|
5202
5128
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLAnchorElement/search)
|
|
5203
5129
|
*/
|
|
5204
5130
|
mutable search: string,
|
|
5205
5131
|
/**
|
|
5206
|
-
Returns the hyperlink's
|
|
5132
|
+
Returns the hyperlink's WebApiURL's fragment (includes leading "#" if non-empty).
|
|
5207
5133
|
|
|
5208
|
-
Can be set, to change the
|
|
5134
|
+
Can be set, to change the WebApiURL's fragment (ignores leading "#").
|
|
5209
5135
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLAnchorElement/hash)
|
|
5210
5136
|
*/
|
|
5211
5137
|
mutable hash: string,
|
|
@@ -5214,8 +5140,9 @@ Can be set, to change the URL's fragment (ignores leading "#").
|
|
|
5214
5140
|
/**
|
|
5215
5141
|
HTML <script> elements expose the HTMLScriptElement interface, which provides special properties and methods for manipulating the behavior and execution of <script> elements (beyond the inherited HTMLElement interface).
|
|
5216
5142
|
[See HTMLScriptElement on MDN](https://developer.mozilla.org/docs/Web/API/HTMLScriptElement)
|
|
5143
|
+
TODO: mark as private once mutating fields of private records is allowed
|
|
5217
5144
|
*/
|
|
5218
|
-
@editor.completeFrom(HTMLScriptElement) and htmlScriptElement = {
|
|
5145
|
+
@editor.completeFrom(DOM.HTMLScriptElement) and htmlScriptElement = {
|
|
5219
5146
|
// Base properties from HTMLElement
|
|
5220
5147
|
/**
|
|
5221
5148
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLElement/title)
|
|
@@ -5467,7 +5394,7 @@ HTML <script> elements expose the HTMLScriptElement interface, which provides sp
|
|
|
5467
5394
|
// End base properties from Node
|
|
5468
5395
|
|
|
5469
5396
|
/**
|
|
5470
|
-
Retrieves the
|
|
5397
|
+
Retrieves the WebApiURL to an external file that contains the source code or data.
|
|
5471
5398
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLScriptElement/src)
|
|
5472
5399
|
*/
|
|
5473
5400
|
mutable src: string,
|
|
@@ -5517,7 +5444,7 @@ HTML <script> elements expose the HTMLScriptElement interface, which provides sp
|
|
|
5517
5444
|
An object providing methods which are not dependent on any particular document. Such an object is returned by the Document.implementation property.
|
|
5518
5445
|
[See DOMImplementation on MDN](https://developer.mozilla.org/docs/Web/API/DOMImplementation)
|
|
5519
5446
|
*/
|
|
5520
|
-
@editor.completeFrom(DOMImplementation) and domImplementation = {}
|
|
5447
|
+
@editor.completeFrom(DOM.DOMImplementation) and domImplementation = private {}
|
|
5521
5448
|
|
|
5522
5449
|
/**
|
|
5523
5450
|
A Node containing a doctype.
|
|
@@ -5610,10 +5537,11 @@ and documentType = {
|
|
|
5610
5537
|
}
|
|
5611
5538
|
|
|
5612
5539
|
/**
|
|
5613
|
-
Any web page loaded in the browser and serves as an entry point into the web page's content, which is the
|
|
5540
|
+
Any web page loaded in the browser and serves as an entry point into the web page's content, which is the WebApiDOM tree.
|
|
5614
5541
|
[See Document on MDN](https://developer.mozilla.org/docs/Web/API/Document)
|
|
5542
|
+
TODO: mark as private once mutating fields of private records is allowed
|
|
5615
5543
|
*/
|
|
5616
|
-
@editor.completeFrom(Document) and document = {
|
|
5544
|
+
@editor.completeFrom(DOM.Document) and document = {
|
|
5617
5545
|
// Base properties from Node
|
|
5618
5546
|
/**
|
|
5619
5547
|
Returns the type of node.
|
|
@@ -5695,7 +5623,7 @@ Any web page loaded in the browser and serves as an entry point into the web pag
|
|
|
5695
5623
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Document/URL)
|
|
5696
5624
|
*/
|
|
5697
5625
|
@as("URL")
|
|
5698
|
-
|
|
5626
|
+
url: string,
|
|
5699
5627
|
/**
|
|
5700
5628
|
Returns document's URL.
|
|
5701
5629
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Document/documentURI)
|
|
@@ -5741,7 +5669,7 @@ Any web page loaded in the browser and serves as an entry point into the web pag
|
|
|
5741
5669
|
*/
|
|
5742
5670
|
mutable location: location,
|
|
5743
5671
|
/**
|
|
5744
|
-
Gets the
|
|
5672
|
+
Gets the WebApiURL of the location that referred the user to the current page.
|
|
5745
5673
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Document/referrer)
|
|
5746
5674
|
*/
|
|
5747
5675
|
referrer: string,
|
|
@@ -5854,7 +5782,7 @@ Returns null if the Document is not currently executing a script or SVG script e
|
|
|
5854
5782
|
/**
|
|
5855
5783
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Document/fonts)
|
|
5856
5784
|
*/
|
|
5857
|
-
fonts: fontFaceSet,
|
|
5785
|
+
fonts: BaseCSSFontLoading.fontFaceSet,
|
|
5858
5786
|
/**
|
|
5859
5787
|
Retrieves a collection of styleSheet objects representing the style sheets that correspond to each instance of a link or style object in the document.
|
|
5860
5788
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Document/styleSheets)
|
|
@@ -5907,205 +5835,6 @@ Similarly, when the focused element is in a different node tree than documentOrS
|
|
|
5907
5835
|
childElementCount: int,
|
|
5908
5836
|
}
|
|
5909
5837
|
|
|
5910
|
-
/**
|
|
5911
|
-
A window containing a DOM document; the document property points to the DOM document loaded in that window.
|
|
5912
|
-
[See Window on MDN](https://developer.mozilla.org/docs/Web/API/Window)
|
|
5913
|
-
*/
|
|
5914
|
-
@editor.completeFrom(Window) and window = {
|
|
5915
|
-
...eventTarget,
|
|
5916
|
-
/**
|
|
5917
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Window/window)
|
|
5918
|
-
*/
|
|
5919
|
-
window: window,
|
|
5920
|
-
/**
|
|
5921
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Window/self)
|
|
5922
|
-
*/
|
|
5923
|
-
self: window,
|
|
5924
|
-
/**
|
|
5925
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Window/document)
|
|
5926
|
-
*/
|
|
5927
|
-
document: document,
|
|
5928
|
-
/**
|
|
5929
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Window/name)
|
|
5930
|
-
*/
|
|
5931
|
-
mutable name: string,
|
|
5932
|
-
/**
|
|
5933
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Window/location)
|
|
5934
|
-
*/
|
|
5935
|
-
mutable location: location,
|
|
5936
|
-
/**
|
|
5937
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Window/history)
|
|
5938
|
-
*/
|
|
5939
|
-
history: history,
|
|
5940
|
-
/**
|
|
5941
|
-
Defines a new custom element, mapping the given name to the given constructor as an autonomous custom element.
|
|
5942
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Window/customElements)
|
|
5943
|
-
*/
|
|
5944
|
-
customElements: customElementRegistry,
|
|
5945
|
-
/**
|
|
5946
|
-
Returns true if the location bar is visible; otherwise, returns false.
|
|
5947
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Window/locationbar)
|
|
5948
|
-
*/
|
|
5949
|
-
locationbar: barProp,
|
|
5950
|
-
/**
|
|
5951
|
-
Returns true if the menu bar is visible; otherwise, returns false.
|
|
5952
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Window/menubar)
|
|
5953
|
-
*/
|
|
5954
|
-
menubar: barProp,
|
|
5955
|
-
/**
|
|
5956
|
-
Returns true if the personal bar is visible; otherwise, returns false.
|
|
5957
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Window/personalbar)
|
|
5958
|
-
*/
|
|
5959
|
-
personalbar: barProp,
|
|
5960
|
-
/**
|
|
5961
|
-
Returns true if the scrollbars are visible; otherwise, returns false.
|
|
5962
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Window/scrollbars)
|
|
5963
|
-
*/
|
|
5964
|
-
scrollbars: barProp,
|
|
5965
|
-
/**
|
|
5966
|
-
Returns true if the status bar is visible; otherwise, returns false.
|
|
5967
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Window/statusbar)
|
|
5968
|
-
*/
|
|
5969
|
-
statusbar: barProp,
|
|
5970
|
-
/**
|
|
5971
|
-
Returns true if the toolbar is visible; otherwise, returns false.
|
|
5972
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Window/toolbar)
|
|
5973
|
-
*/
|
|
5974
|
-
toolbar: barProp,
|
|
5975
|
-
/**
|
|
5976
|
-
Returns true if the window has been closed, false otherwise.
|
|
5977
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Window/closed)
|
|
5978
|
-
*/
|
|
5979
|
-
closed: bool,
|
|
5980
|
-
/**
|
|
5981
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Window/frames)
|
|
5982
|
-
*/
|
|
5983
|
-
frames: window,
|
|
5984
|
-
/**
|
|
5985
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Window/length)
|
|
5986
|
-
*/
|
|
5987
|
-
length: int,
|
|
5988
|
-
/**
|
|
5989
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Window/top)
|
|
5990
|
-
*/
|
|
5991
|
-
top: Null.t<window>,
|
|
5992
|
-
/**
|
|
5993
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Window/opener)
|
|
5994
|
-
*/
|
|
5995
|
-
mutable opener: JSON.t,
|
|
5996
|
-
/**
|
|
5997
|
-
Refers to either the parent WindowProxy, or itself.
|
|
5998
|
-
|
|
5999
|
-
It can rarely be null e.g. for contentWindow of an iframe that is already removed from the parent.
|
|
6000
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Window/parent)
|
|
6001
|
-
*/
|
|
6002
|
-
parent: window,
|
|
6003
|
-
/**
|
|
6004
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Window/frameElement)
|
|
6005
|
-
*/
|
|
6006
|
-
frameElement: Null.t<element>,
|
|
6007
|
-
/**
|
|
6008
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Window/navigator)
|
|
6009
|
-
*/
|
|
6010
|
-
navigator: navigator,
|
|
6011
|
-
/**
|
|
6012
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Window/screen)
|
|
6013
|
-
*/
|
|
6014
|
-
screen: screen,
|
|
6015
|
-
/**
|
|
6016
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Window/visualViewport)
|
|
6017
|
-
*/
|
|
6018
|
-
visualViewport: Null.t<visualViewport>,
|
|
6019
|
-
/**
|
|
6020
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Window/innerWidth)
|
|
6021
|
-
*/
|
|
6022
|
-
innerWidth: int,
|
|
6023
|
-
/**
|
|
6024
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Window/innerHeight)
|
|
6025
|
-
*/
|
|
6026
|
-
innerHeight: int,
|
|
6027
|
-
/**
|
|
6028
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Window/scrollX)
|
|
6029
|
-
*/
|
|
6030
|
-
scrollX: float,
|
|
6031
|
-
/**
|
|
6032
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Window/scrollY)
|
|
6033
|
-
*/
|
|
6034
|
-
scrollY: float,
|
|
6035
|
-
/**
|
|
6036
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Window/screenX)
|
|
6037
|
-
*/
|
|
6038
|
-
screenX: int,
|
|
6039
|
-
/**
|
|
6040
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Window/screenLeft)
|
|
6041
|
-
*/
|
|
6042
|
-
screenLeft: int,
|
|
6043
|
-
/**
|
|
6044
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Window/screenY)
|
|
6045
|
-
*/
|
|
6046
|
-
screenY: int,
|
|
6047
|
-
/**
|
|
6048
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Window/screenTop)
|
|
6049
|
-
*/
|
|
6050
|
-
screenTop: int,
|
|
6051
|
-
/**
|
|
6052
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Window/outerWidth)
|
|
6053
|
-
*/
|
|
6054
|
-
outerWidth: int,
|
|
6055
|
-
/**
|
|
6056
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Window/outerHeight)
|
|
6057
|
-
*/
|
|
6058
|
-
outerHeight: int,
|
|
6059
|
-
/**
|
|
6060
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Window/devicePixelRatio)
|
|
6061
|
-
*/
|
|
6062
|
-
devicePixelRatio: float,
|
|
6063
|
-
/**
|
|
6064
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Window/speechSynthesis)
|
|
6065
|
-
*/
|
|
6066
|
-
speechSynthesis: speechSynthesis,
|
|
6067
|
-
/**
|
|
6068
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Window/origin)
|
|
6069
|
-
*/
|
|
6070
|
-
origin: string,
|
|
6071
|
-
/**
|
|
6072
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Window/isSecureContext)
|
|
6073
|
-
*/
|
|
6074
|
-
isSecureContext: bool,
|
|
6075
|
-
/**
|
|
6076
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Window/crossOriginIsolated)
|
|
6077
|
-
*/
|
|
6078
|
-
crossOriginIsolated: bool,
|
|
6079
|
-
/**
|
|
6080
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Window/indexedDB)
|
|
6081
|
-
*/
|
|
6082
|
-
indexedDB: idbFactory,
|
|
6083
|
-
/**
|
|
6084
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Window/crypto)
|
|
6085
|
-
*/
|
|
6086
|
-
crypto: crypto,
|
|
6087
|
-
/**
|
|
6088
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Window/performance)
|
|
6089
|
-
*/
|
|
6090
|
-
performance: performance,
|
|
6091
|
-
/**
|
|
6092
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Window/caches)
|
|
6093
|
-
*/
|
|
6094
|
-
caches: cacheStorage,
|
|
6095
|
-
/**
|
|
6096
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Window/sessionStorage)
|
|
6097
|
-
*/
|
|
6098
|
-
sessionStorage: storage,
|
|
6099
|
-
/**
|
|
6100
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Window/localStorage)
|
|
6101
|
-
*/
|
|
6102
|
-
localStorage: storage,
|
|
6103
|
-
}
|
|
6104
|
-
|
|
6105
|
-
/**
|
|
6106
|
-
A MutationRecord represents an individual DOM mutation. It is the object that is passed to MutationObserver's callback.
|
|
6107
|
-
[See MutationRecord on MDN](https://developer.mozilla.org/docs/Web/API/MutationRecord)
|
|
6108
|
-
*/
|
|
6109
5838
|
and mutationRecord = {
|
|
6110
5839
|
/**
|
|
6111
5840
|
Returns "attributes" if it was an attribute mutation. "characterData" if it was a mutation to a CharacterData node. And "childList" if it was a mutation to the tree of nodes.
|
|
@@ -6156,7 +5885,7 @@ and mutationRecord = {
|
|
|
6156
5885
|
}
|
|
6157
5886
|
|
|
6158
5887
|
/**
|
|
6159
|
-
A
|
|
5888
|
+
A WebApiDOM element's attribute as an object. In most WebApiDOM methods, you will probably directly retrieve the attribute as a string (e.g., Element.getAttribute(), but certain functions (e.g., Element.getAttributeNode()) or means of iterating give Attr types.
|
|
6160
5889
|
[See Attr on MDN](https://developer.mozilla.org/docs/Web/API/Attr)
|
|
6161
5890
|
*/
|
|
6162
5891
|
and attr = {
|
|
@@ -6260,8 +5989,9 @@ and attr = {
|
|
|
6260
5989
|
/**
|
|
6261
5990
|
The CharacterData abstract interface represents a Node object that contains characters. This is an abstract interface, meaning there aren't any object of type CharacterData: it is implemented by other interfaces, like Text, Comment, or ProcessingInstruction which aren't abstract.
|
|
6262
5991
|
[See CharacterData on MDN](https://developer.mozilla.org/docs/Web/API/CharacterData)
|
|
5992
|
+
TODO: mark as private once mutating fields of private records is allowed
|
|
6263
5993
|
*/
|
|
6264
|
-
@editor.completeFrom(CharacterData) and characterData = {
|
|
5994
|
+
@editor.completeFrom(DOM.CharacterData) and characterData = {
|
|
6265
5995
|
// Base properties from Node
|
|
6266
5996
|
/**
|
|
6267
5997
|
Returns the type of node.
|
|
@@ -6356,8 +6086,9 @@ The CharacterData abstract interface represents a Node object that contains char
|
|
|
6356
6086
|
/**
|
|
6357
6087
|
A minimal document object that has no parent. It is used as a lightweight version of Document that stores a segment of a document structure comprised of nodes just like a standard document. The key difference is that because the document fragment isn't part of the active document tree structure, changes made to the fragment don't affect the document, cause reflow, or incur any performance impact that can occur when changes are made.
|
|
6358
6088
|
[See DocumentFragment on MDN](https://developer.mozilla.org/docs/Web/API/DocumentFragment)
|
|
6089
|
+
TODO: mark as private once mutating fields of private records is allowed
|
|
6359
6090
|
*/
|
|
6360
|
-
@editor.completeFrom(DocumentFragment) and documentFragment = {
|
|
6091
|
+
@editor.completeFrom(DOM.DocumentFragment) and documentFragment = {
|
|
6361
6092
|
// Base properties from Node
|
|
6362
6093
|
/**
|
|
6363
6094
|
Returns the type of node.
|
|
@@ -6452,8 +6183,9 @@ A minimal document object that has no parent. It is used as a lightweight versio
|
|
|
6452
6183
|
|
|
6453
6184
|
/**
|
|
6454
6185
|
[See HTMLSlotElement on MDN](https://developer.mozilla.org/docs/Web/API/HTMLSlotElement)
|
|
6186
|
+
TODO: mark as private once mutating fields of private records is allowed
|
|
6455
6187
|
*/
|
|
6456
|
-
@editor.completeFrom(HTMLSlotElement) and htmlSlotElement = {
|
|
6188
|
+
@editor.completeFrom(DOM.HTMLSlotElement) and htmlSlotElement = {
|
|
6457
6189
|
// Base properties from HTMLElement
|
|
6458
6190
|
/**
|
|
6459
6191
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLElement/title)
|
|
@@ -6713,8 +6445,8 @@ A minimal document object that has no parent. It is used as a lightweight versio
|
|
|
6713
6445
|
/**
|
|
6714
6446
|
[See DOMRectReadOnly on MDN](https://developer.mozilla.org/docs/Web/API/DOMRectReadOnly)
|
|
6715
6447
|
*/
|
|
6716
|
-
@editor.completeFrom(DOMRectReadOnly)
|
|
6717
|
-
type domRectReadOnly = {
|
|
6448
|
+
@editor.completeFrom(DOM.DOMRectReadOnly)
|
|
6449
|
+
type domRectReadOnly = private {
|
|
6718
6450
|
/**
|
|
6719
6451
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/DOMRectReadOnly/x)
|
|
6720
6452
|
*/
|
|
@@ -6752,12 +6484,12 @@ type domRectReadOnly = {
|
|
|
6752
6484
|
/**
|
|
6753
6485
|
[See DOMRect on MDN](https://developer.mozilla.org/docs/Web/API/DOMRect)
|
|
6754
6486
|
*/
|
|
6755
|
-
@editor.completeFrom(DOMRect)
|
|
6756
|
-
type domRect = {
|
|
6487
|
+
@editor.completeFrom(DOM.DOMRect)
|
|
6488
|
+
type domRect = private {
|
|
6757
6489
|
...domRectReadOnly,
|
|
6758
6490
|
}
|
|
6759
6491
|
|
|
6760
|
-
@editor.completeFrom(DOMRectList) type domRectList = {}
|
|
6492
|
+
@editor.completeFrom(DOM.DOMRectList) type domRectList = private {}
|
|
6761
6493
|
|
|
6762
6494
|
/**
|
|
6763
6495
|
The validity states that an element can be in, with respect to constraint validation. Together, they help explain why an element's value fails to validate, if it's not valid.
|
|
@@ -6817,8 +6549,9 @@ type customStateSet = {}
|
|
|
6817
6549
|
|
|
6818
6550
|
/**
|
|
6819
6551
|
[See ElementInternals on MDN](https://developer.mozilla.org/docs/Web/API/ElementInternals)
|
|
6552
|
+
TODO: mark as private once mutating fields of private records is allowed
|
|
6820
6553
|
*/
|
|
6821
|
-
@editor.completeFrom(ElementInternals)
|
|
6554
|
+
@editor.completeFrom(DOM.ElementInternals)
|
|
6822
6555
|
type elementInternals = {
|
|
6823
6556
|
/**
|
|
6824
6557
|
Returns the ShadowRoot for internals's target element, if the target element is a shadow host, or null otherwise.
|
|
@@ -6849,7 +6582,7 @@ type elementInternals = {
|
|
|
6849
6582
|
Returns a NodeList of all the label elements that internals's target element is associated with.
|
|
6850
6583
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/ElementInternals/labels)
|
|
6851
6584
|
*/
|
|
6852
|
-
labels: nodeList<
|
|
6585
|
+
labels: nodeList<unknown>,
|
|
6853
6586
|
/**
|
|
6854
6587
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/ElementInternals/states)
|
|
6855
6588
|
*/
|
|
@@ -7029,11 +6762,11 @@ type xmlDocument = {
|
|
|
7029
6762
|
}
|
|
7030
6763
|
|
|
7031
6764
|
/**
|
|
7032
|
-
@editor.completeFrom(Text) The textual content of Element or Attr. If an element has no markup within its content, it has a single child implementing Text that contains the element's text. However, if the element contains markup, it is parsed into information items and Text nodes that form its children.
|
|
6765
|
+
@editor.completeFrom(DOM.Text) The textual content of Element or Attr. If an element has no markup within its content, it has a single child implementing Text that contains the element's text. However, if the element contains markup, it is parsed into information items and Text nodes that form its children.
|
|
7033
6766
|
[See Text on MDN](https://developer.mozilla.org/docs/Web/API/Text)
|
|
7034
6767
|
*/
|
|
7035
|
-
@editor.completeFrom(Text)
|
|
7036
|
-
type text = {
|
|
6768
|
+
@editor.completeFrom(DOM.Text)
|
|
6769
|
+
type text = private {
|
|
7037
6770
|
...characterData,
|
|
7038
6771
|
/**
|
|
7039
6772
|
Returns the combined data of all direct Text node siblings.
|
|
@@ -7058,8 +6791,8 @@ type cdataSection = {
|
|
|
7058
6791
|
Textual notations within markup; although it is generally not visually shown, such comments are available to be read in the source view.
|
|
7059
6792
|
[See Comment on MDN](https://developer.mozilla.org/docs/Web/API/Comment)
|
|
7060
6793
|
*/
|
|
7061
|
-
@editor.completeFrom(Comment)
|
|
7062
|
-
type comment = {
|
|
6794
|
+
@editor.completeFrom(DOM.Comment)
|
|
6795
|
+
type comment = private {
|
|
7063
6796
|
...characterData,
|
|
7064
6797
|
}
|
|
7065
6798
|
|
|
@@ -7114,8 +6847,8 @@ type abstractRange = {
|
|
|
7114
6847
|
A fragment of a document that can contain nodes and parts of text nodes.
|
|
7115
6848
|
[See Range on MDN](https://developer.mozilla.org/docs/Web/API/Range)
|
|
7116
6849
|
*/
|
|
7117
|
-
@editor.completeFrom(Range)
|
|
7118
|
-
type range = {
|
|
6850
|
+
@editor.completeFrom(DOM.Range)
|
|
6851
|
+
type range = private {
|
|
7119
6852
|
...abstractRange,
|
|
7120
6853
|
/**
|
|
7121
6854
|
Returns the node, furthest away from the document, that is an ancestor of both range's start node and end node.
|
|
@@ -7131,14 +6864,14 @@ type staticRange = {
|
|
|
7131
6864
|
...abstractRange,
|
|
7132
6865
|
}
|
|
7133
6866
|
|
|
7134
|
-
@editor.completeFrom(NodeFilter) type nodeFilter = {}
|
|
6867
|
+
@editor.completeFrom(DOM.NodeFilter) type nodeFilter = private {}
|
|
7135
6868
|
|
|
7136
6869
|
/**
|
|
7137
6870
|
An iterator over the members of a list of the nodes in a subtree of the DOM. The nodes will be returned in document order.
|
|
7138
6871
|
[See NodeIterator on MDN](https://developer.mozilla.org/docs/Web/API/NodeIterator)
|
|
7139
6872
|
*/
|
|
7140
|
-
@editor.completeFrom(NodeIterator)
|
|
7141
|
-
type nodeIterator = {
|
|
6873
|
+
@editor.completeFrom(DOM.NodeIterator)
|
|
6874
|
+
type nodeIterator = private {
|
|
7142
6875
|
/**
|
|
7143
6876
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/NodeIterator/root)
|
|
7144
6877
|
*/
|
|
@@ -7164,8 +6897,9 @@ type nodeIterator = {
|
|
|
7164
6897
|
/**
|
|
7165
6898
|
The nodes of a document subtree and a position within them.
|
|
7166
6899
|
[See TreeWalker on MDN](https://developer.mozilla.org/docs/Web/API/TreeWalker)
|
|
6900
|
+
TODO: mark as private once mutating fields of private records is allowed
|
|
7167
6901
|
*/
|
|
7168
|
-
@editor.completeFrom(TreeWalker)
|
|
6902
|
+
@editor.completeFrom(DOM.TreeWalker)
|
|
7169
6903
|
type treeWalker = {
|
|
7170
6904
|
/**
|
|
7171
6905
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/TreeWalker/root)
|
|
@@ -7188,15 +6922,15 @@ type treeWalker = {
|
|
|
7188
6922
|
/**
|
|
7189
6923
|
[See CaretPosition on MDN](https://developer.mozilla.org/docs/Web/API/CaretPosition)
|
|
7190
6924
|
*/
|
|
7191
|
-
@editor.completeFrom(CaretPosition)
|
|
7192
|
-
type caretPosition = {}
|
|
6925
|
+
@editor.completeFrom(DOM.CaretPosition)
|
|
6926
|
+
type caretPosition = private {}
|
|
7193
6927
|
|
|
7194
6928
|
/**
|
|
7195
6929
|
A Selection object represents the range of text selected by the user or the current position of the caret. To obtain a Selection object for examination or modification, call Window.getSelection().
|
|
7196
6930
|
[See Selection on MDN](https://developer.mozilla.org/docs/Web/API/Selection)
|
|
7197
6931
|
*/
|
|
7198
|
-
@editor.completeFrom(Selection)
|
|
7199
|
-
type selection = {
|
|
6932
|
+
@editor.completeFrom(DOM.Selection)
|
|
6933
|
+
type selection = private {
|
|
7200
6934
|
/**
|
|
7201
6935
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Selection/anchorNode)
|
|
7202
6936
|
*/
|
|
@@ -7236,9 +6970,9 @@ type selection = {
|
|
|
7236
6970
|
Stores information on a media query applied to a document, and handles sending notifications to listeners when the media query state change (i.e. when the media query test starts or stops evaluating to true).
|
|
7237
6971
|
[See MediaQueryList on MDN](https://developer.mozilla.org/docs/Web/API/MediaQueryList)
|
|
7238
6972
|
*/
|
|
7239
|
-
@editor.completeFrom(MediaQueryList)
|
|
7240
|
-
type mediaQueryList = {
|
|
7241
|
-
...eventTarget,
|
|
6973
|
+
@editor.completeFrom(DOM.MediaQueryList)
|
|
6974
|
+
type mediaQueryList = private {
|
|
6975
|
+
...BaseEvent.eventTarget,
|
|
7242
6976
|
/**
|
|
7243
6977
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/MediaQueryList/media)
|
|
7244
6978
|
*/
|
|
@@ -7252,8 +6986,8 @@ type mediaQueryList = {
|
|
|
7252
6986
|
/**
|
|
7253
6987
|
[See IdleDeadline on MDN](https://developer.mozilla.org/docs/Web/API/IdleDeadline)
|
|
7254
6988
|
*/
|
|
7255
|
-
@editor.completeFrom(IdleDeadline)
|
|
7256
|
-
type idleDeadline = {
|
|
6989
|
+
@editor.completeFrom(DOM.IdleDeadline)
|
|
6990
|
+
type idleDeadline = private {
|
|
7257
6991
|
/**
|
|
7258
6992
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/IdleDeadline/didTimeout)
|
|
7259
6993
|
*/
|
|
@@ -7263,15 +6997,15 @@ type idleDeadline = {
|
|
|
7263
6997
|
/**
|
|
7264
6998
|
[See CSSStyleValue on MDN](https://developer.mozilla.org/docs/Web/API/CSSStyleValue)
|
|
7265
6999
|
*/
|
|
7266
|
-
@editor.completeFrom(CSSStyleValue)
|
|
7267
|
-
type cssStyleValue = {}
|
|
7000
|
+
@editor.completeFrom(DOM.CSSStyleValue)
|
|
7001
|
+
type cssStyleValue = private {}
|
|
7268
7002
|
|
|
7269
7003
|
/**
|
|
7270
7004
|
An object of this type is returned by the files property of the HTML <input> element; this lets you access the list of files selected with the <input type="file"> element. It's also used for a list of files dropped into web content when using the drag and drop API; see the DataTransfer object for details on this usage.
|
|
7271
7005
|
[See FileList on MDN](https://developer.mozilla.org/docs/Web/API/FileList)
|
|
7272
7006
|
*/
|
|
7273
|
-
@editor.completeFrom(FileList)
|
|
7274
|
-
type fileList = {
|
|
7007
|
+
@editor.completeFrom(DOM.FileList)
|
|
7008
|
+
type fileList = private {
|
|
7275
7009
|
/**
|
|
7276
7010
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/FileList/length)
|
|
7277
7011
|
*/
|
|
@@ -7297,8 +7031,8 @@ type mediaError = {
|
|
|
7297
7031
|
Used to represent a set of time ranges, primarily for the purpose of tracking which portions of media have been buffered when loading it for use by the <audio> and <video> elements.
|
|
7298
7032
|
[See TimeRanges on MDN](https://developer.mozilla.org/docs/Web/API/TimeRanges)
|
|
7299
7033
|
*/
|
|
7300
|
-
@editor.completeFrom(TimeRanges)
|
|
7301
|
-
type timeRanges = {
|
|
7034
|
+
@editor.completeFrom(DOM.TimeRanges)
|
|
7035
|
+
type timeRanges = private {
|
|
7302
7036
|
/**
|
|
7303
7037
|
Returns the number of ranges in the object.
|
|
7304
7038
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/TimeRanges/length)
|
|
@@ -7309,9 +7043,9 @@ type timeRanges = {
|
|
|
7309
7043
|
/**
|
|
7310
7044
|
[See TextTrackList on MDN](https://developer.mozilla.org/docs/Web/API/TextTrackList)
|
|
7311
7045
|
*/
|
|
7312
|
-
@editor.completeFrom(TextTrackList)
|
|
7313
|
-
type textTrackList = {
|
|
7314
|
-
...eventTarget,
|
|
7046
|
+
@editor.completeFrom(DOM.TextTrackList)
|
|
7047
|
+
type textTrackList = private {
|
|
7048
|
+
...BaseEvent.eventTarget,
|
|
7315
7049
|
/**
|
|
7316
7050
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/TextTrackList/length)
|
|
7317
7051
|
*/
|
|
@@ -7340,8 +7074,9 @@ type videoPlaybackQuality = {
|
|
|
7340
7074
|
/**
|
|
7341
7075
|
Provides special properties and methods (beyond the regular HTMLElement object interface it also has available to it by inheritance) for manipulating the layout and presentation of tables in an HTML document.
|
|
7342
7076
|
[See HTMLTableElement on MDN](https://developer.mozilla.org/docs/Web/API/HTMLTableElement)
|
|
7077
|
+
TODO: mark as private once mutating fields of private records is allowed
|
|
7343
7078
|
*/
|
|
7344
|
-
@editor.completeFrom(HTMLTableElement)
|
|
7079
|
+
@editor.completeFrom(DOM.HTMLTableElement)
|
|
7345
7080
|
type rec htmlTableElement = {
|
|
7346
7081
|
...htmlElement,
|
|
7347
7082
|
/**
|
|
@@ -7375,7 +7110,7 @@ type rec htmlTableElement = {
|
|
|
7375
7110
|
Special properties (beyond the regular HTMLElement interface it also has available to it by inheritance) for manipulating table caption elements.
|
|
7376
7111
|
[See HTMLTableCaptionElement on MDN](https://developer.mozilla.org/docs/Web/API/HTMLTableCaptionElement)
|
|
7377
7112
|
*/
|
|
7378
|
-
@editor.completeFrom(HTMLTableCaptionElement) and htmlTableCaptionElement = {
|
|
7113
|
+
@editor.completeFrom(DOM.HTMLTableCaptionElement) and htmlTableCaptionElement = private {
|
|
7379
7114
|
...htmlElement,
|
|
7380
7115
|
}
|
|
7381
7116
|
|
|
@@ -7383,7 +7118,7 @@ Special properties (beyond the regular HTMLElement interface it also has availab
|
|
|
7383
7118
|
Provides special properties and methods (beyond the HTMLElement interface it also has available to it by inheritance) for manipulating the layout and presentation of sections, that is headers, footers and bodies, in an HTML table.
|
|
7384
7119
|
[See HTMLTableSectionElement on MDN](https://developer.mozilla.org/docs/Web/API/HTMLTableSectionElement)
|
|
7385
7120
|
*/
|
|
7386
|
-
@editor.completeFrom(HTMLTableSectionElement) and htmlTableSectionElement = {
|
|
7121
|
+
@editor.completeFrom(DOM.HTMLTableSectionElement) and htmlTableSectionElement = private {
|
|
7387
7122
|
...htmlElement,
|
|
7388
7123
|
/**
|
|
7389
7124
|
Sets or retrieves the number of horizontal rows contained in the object.
|
|
@@ -7395,8 +7130,9 @@ Provides special properties and methods (beyond the HTMLElement interface it als
|
|
|
7395
7130
|
/**
|
|
7396
7131
|
Provides special properties and methods (beyond the regular HTMLElement interface it also has available to it by inheritance) for manipulating the layout and presentation of table cells, either header or data cells, in an HTML document.
|
|
7397
7132
|
[See HTMLTableCellElement on MDN](https://developer.mozilla.org/docs/Web/API/HTMLTableCellElement)
|
|
7133
|
+
TODO: mark as private once mutating fields of private records is allowed
|
|
7398
7134
|
*/
|
|
7399
|
-
@editor.completeFrom(HTMLTableCellElement) and htmlTableCellElement = {
|
|
7135
|
+
@editor.completeFrom(DOM.HTMLTableCellElement) and htmlTableCellElement = {
|
|
7400
7136
|
...htmlElement,
|
|
7401
7137
|
/**
|
|
7402
7138
|
Sets or retrieves the number columns in the table that the object should span.
|
|
@@ -7434,7 +7170,7 @@ Provides special properties and methods (beyond the regular HTMLElement interfac
|
|
|
7434
7170
|
Provides special properties and methods (beyond the HTMLElement interface it also has available to it by inheritance) for manipulating the layout and presentation of rows in an HTML table.
|
|
7435
7171
|
[See HTMLTableRowElement on MDN](https://developer.mozilla.org/docs/Web/API/HTMLTableRowElement)
|
|
7436
7172
|
*/
|
|
7437
|
-
@editor.completeFrom(HTMLTableRowElement) and htmlTableRowElement = {
|
|
7173
|
+
@editor.completeFrom(DOM.HTMLTableRowElement) and htmlTableRowElement = private {
|
|
7438
7174
|
...htmlElement,
|
|
7439
7175
|
/**
|
|
7440
7176
|
Retrieves the position of the object in the rows collection for the table.
|
|
@@ -7456,8 +7192,9 @@ Provides special properties and methods (beyond the HTMLElement interface it als
|
|
|
7456
7192
|
/**
|
|
7457
7193
|
Provides properties and methods (beyond the regular HTMLElement interface it also has available to it by inheritance) for manipulating <button> elements.
|
|
7458
7194
|
[See HTMLButtonElement on MDN](https://developer.mozilla.org/docs/Web/API/HTMLButtonElement)
|
|
7195
|
+
TODO: mark as private once mutating fields of private records is allowed
|
|
7459
7196
|
*/
|
|
7460
|
-
@editor.completeFrom(HTMLButtonElement)
|
|
7197
|
+
@editor.completeFrom(DOM.HTMLButtonElement)
|
|
7461
7198
|
type rec htmlButtonElement = {
|
|
7462
7199
|
...htmlElement,
|
|
7463
7200
|
/**
|
|
@@ -7532,8 +7269,9 @@ type rec htmlButtonElement = {
|
|
|
7532
7269
|
/**
|
|
7533
7270
|
Gives access to properties specific to <label> elements. It inherits methods and properties from the base HTMLElement interface.
|
|
7534
7271
|
[See HTMLLabelElement on MDN](https://developer.mozilla.org/docs/Web/API/HTMLLabelElement)
|
|
7272
|
+
TODO: mark as private once mutating fields of private records is allowed
|
|
7535
7273
|
*/
|
|
7536
|
-
@editor.completeFrom(HTMLLabelElement) and htmlLabelElement = {
|
|
7274
|
+
@editor.completeFrom(DOM.HTMLLabelElement) and htmlLabelElement = {
|
|
7537
7275
|
...htmlElement,
|
|
7538
7276
|
/**
|
|
7539
7277
|
Retrieves a reference to the form that the object is embedded in.
|
|
@@ -7555,8 +7293,9 @@ Gives access to properties specific to <label> elements. It inherits methods and
|
|
|
7555
7293
|
/**
|
|
7556
7294
|
Provides special properties and methods for manipulating the layout and presentation of <textarea> elements.
|
|
7557
7295
|
[See HTMLTextAreaElement on MDN](https://developer.mozilla.org/docs/Web/API/HTMLTextAreaElement)
|
|
7296
|
+
TODO: mark as private once mutating fields of private records is allowed
|
|
7558
7297
|
*/
|
|
7559
|
-
@editor.completeFrom(HTMLTextAreaElement) and htmlTextAreaElement = {
|
|
7298
|
+
@editor.completeFrom(DOM.HTMLTextAreaElement) and htmlTextAreaElement = {
|
|
7560
7299
|
...htmlElement,
|
|
7561
7300
|
/**
|
|
7562
7301
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLTextAreaElement/autocomplete)
|
|
@@ -7673,8 +7412,9 @@ Provides special properties and methods for manipulating the layout and presenta
|
|
|
7673
7412
|
/**
|
|
7674
7413
|
Provides properties and methods (beyond those inherited from HTMLElement) for manipulating the layout and presentation of <output> elements.
|
|
7675
7414
|
[See HTMLOutputElement on MDN](https://developer.mozilla.org/docs/Web/API/HTMLOutputElement)
|
|
7415
|
+
TODO: mark as private once mutating fields of private records is allowed
|
|
7676
7416
|
*/
|
|
7677
|
-
@editor.completeFrom(HTMLOutputElement) and htmlOutputElement = {
|
|
7417
|
+
@editor.completeFrom(DOM.HTMLOutputElement) and htmlOutputElement = {
|
|
7678
7418
|
...htmlElement,
|
|
7679
7419
|
/**
|
|
7680
7420
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLOutputElement/htmlFor)
|
|
@@ -7726,8 +7466,9 @@ Can be set, to change the value.
|
|
|
7726
7466
|
/**
|
|
7727
7467
|
Provides special properties and methods for manipulating the options, layout, and presentation of <input> elements.
|
|
7728
7468
|
[See HTMLInputElement on MDN](https://developer.mozilla.org/docs/Web/API/HTMLInputElement)
|
|
7469
|
+
TODO: mark as private once mutating fields of private records is allowed
|
|
7729
7470
|
*/
|
|
7730
|
-
@editor.completeFrom(HTMLInputElement) and htmlInputElement = {
|
|
7471
|
+
@editor.completeFrom(DOM.HTMLInputElement) and htmlInputElement = {
|
|
7731
7472
|
...htmlElement,
|
|
7732
7473
|
/**
|
|
7733
7474
|
Sets or retrieves a comma-separated list of content types.
|
|
@@ -7851,7 +7592,7 @@ Provides special properties and methods for manipulating the options, layout, an
|
|
|
7851
7592
|
*/
|
|
7852
7593
|
mutable size: int,
|
|
7853
7594
|
/**
|
|
7854
|
-
The address or
|
|
7595
|
+
The address or WebApiURL of the a media resource that is to be considered.
|
|
7855
7596
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLInputElement/src)
|
|
7856
7597
|
*/
|
|
7857
7598
|
mutable src: string,
|
|
@@ -7931,7 +7672,7 @@ Provides special properties and methods for manipulating the options, layout, an
|
|
|
7931
7672
|
/**
|
|
7932
7673
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLInputElement/webkitEntries)
|
|
7933
7674
|
*/
|
|
7934
|
-
webkitEntries: array<fileSystemEntry>,
|
|
7675
|
+
webkitEntries: array<BaseFileAndDirectoryEntries.fileSystemEntry>,
|
|
7935
7676
|
/**
|
|
7936
7677
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLInputElement/capture)
|
|
7937
7678
|
*/
|
|
@@ -7950,7 +7691,7 @@ Provides special properties and methods for manipulating the options, layout, an
|
|
|
7950
7691
|
Provides special properties (beyond the HTMLElement object interface it also has available to it by inheritance) to manipulate <datalist> elements and their content.
|
|
7951
7692
|
[See HTMLDataListElement on MDN](https://developer.mozilla.org/docs/Web/API/HTMLDataListElement)
|
|
7952
7693
|
*/
|
|
7953
|
-
@editor.completeFrom(HTMLDataListElement) and htmlDataListElement = {
|
|
7694
|
+
@editor.completeFrom(DOM.HTMLDataListElement) and htmlDataListElement = private {
|
|
7954
7695
|
...htmlElement,
|
|
7955
7696
|
/**
|
|
7956
7697
|
Returns an HTMLCollection of the option elements of the datalist element.
|
|
@@ -7962,8 +7703,9 @@ Provides special properties (beyond the HTMLElement object interface it also has
|
|
|
7962
7703
|
/**
|
|
7963
7704
|
A <select> HTML Element. These elements also share all of the properties and methods of other HTML elements via the HTMLElement interface.
|
|
7964
7705
|
[See HTMLSelectElement on MDN](https://developer.mozilla.org/docs/Web/API/HTMLSelectElement)
|
|
7706
|
+
TODO: mark as private once mutating fields of private records is allowed
|
|
7965
7707
|
*/
|
|
7966
|
-
@editor.completeFrom(HTMLSelectElement) and htmlSelectElement = {
|
|
7708
|
+
@editor.completeFrom(DOM.HTMLSelectElement) and htmlSelectElement = {
|
|
7967
7709
|
...htmlElement,
|
|
7968
7710
|
/**
|
|
7969
7711
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLSelectElement/disabled)
|
|
@@ -8048,8 +7790,9 @@ A <select> HTML Element. These elements also share all of the properties and met
|
|
|
8048
7790
|
/**
|
|
8049
7791
|
<option> elements and inherits all classes and methods of the HTMLElement interface.
|
|
8050
7792
|
[See HTMLOptionElement on MDN](https://developer.mozilla.org/docs/Web/API/HTMLOptionElement)
|
|
7793
|
+
TODO: mark as private once mutating fields of private records is allowed
|
|
8051
7794
|
*/
|
|
8052
|
-
@editor.completeFrom(HTMLOptionElement) and htmlOptionElement = {
|
|
7795
|
+
@editor.completeFrom(DOM.HTMLOptionElement) and htmlOptionElement = {
|
|
8053
7796
|
...htmlElement,
|
|
8054
7797
|
/**
|
|
8055
7798
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLOptionElement/disabled)
|
|
@@ -8095,8 +7838,9 @@ A <select> HTML Element. These elements also share all of the properties and met
|
|
|
8095
7838
|
/**
|
|
8096
7839
|
HTMLOptionsCollection is an interface representing a collection of HTML option elements (in document order) and offers methods and properties for traversing the list as well as optionally altering its items. This type is returned solely by the "options" property of select.
|
|
8097
7840
|
[See HTMLOptionsCollection on MDN](https://developer.mozilla.org/docs/Web/API/HTMLOptionsCollection)
|
|
7841
|
+
TODO: mark as private once mutating fields of private records is allowed
|
|
8098
7842
|
*/
|
|
8099
|
-
@editor.completeFrom(HTMLOptionsCollection) and htmlOptionsCollection = {
|
|
7843
|
+
@editor.completeFrom(DOM.HTMLOptionsCollection) and htmlOptionsCollection = {
|
|
8100
7844
|
...htmlCollection<htmlOptionElement>,
|
|
8101
7845
|
/**
|
|
8102
7846
|
Returns the index of the first selected item, if any, or −1 if there is no selected item.
|
|
@@ -8106,1759 +7850,3 @@ Can be set, to change the selection.
|
|
|
8106
7850
|
*/
|
|
8107
7851
|
mutable selectedIndex: int,
|
|
8108
7852
|
}
|
|
8109
|
-
|
|
8110
|
-
type mediaProvider = any
|
|
8111
|
-
|
|
8112
|
-
/**
|
|
8113
|
-
Adds to HTMLElement the properties and methods needed to support basic media-related capabilities that are common to audio and video.
|
|
8114
|
-
[See HTMLMediaElement on MDN](https://developer.mozilla.org/docs/Web/API/HTMLMediaElement)
|
|
8115
|
-
*/
|
|
8116
|
-
@editor.completeFrom(HTMLMediaElement)
|
|
8117
|
-
type htmlMediaElement = {
|
|
8118
|
-
...htmlElement,
|
|
8119
|
-
/**
|
|
8120
|
-
Returns an object representing the current error state of the audio or video element.
|
|
8121
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLMediaElement/error)
|
|
8122
|
-
*/
|
|
8123
|
-
error: Null.t<mediaError>,
|
|
8124
|
-
/**
|
|
8125
|
-
The address or URL of the a media resource that is to be considered.
|
|
8126
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLMediaElement/src)
|
|
8127
|
-
*/
|
|
8128
|
-
mutable src: string,
|
|
8129
|
-
/**
|
|
8130
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLMediaElement/srcObject)
|
|
8131
|
-
*/
|
|
8132
|
-
mutable srcObject: Null.t<mediaProvider>,
|
|
8133
|
-
/**
|
|
8134
|
-
Gets the address or URL of the current media resource that is selected by IHTMLMediaElement.
|
|
8135
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLMediaElement/currentSrc)
|
|
8136
|
-
*/
|
|
8137
|
-
currentSrc: string,
|
|
8138
|
-
/**
|
|
8139
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLMediaElement/crossOrigin)
|
|
8140
|
-
*/
|
|
8141
|
-
mutable crossOrigin: Null.t<string>,
|
|
8142
|
-
/**
|
|
8143
|
-
Gets the current network activity for the element.
|
|
8144
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLMediaElement/networkState)
|
|
8145
|
-
*/
|
|
8146
|
-
networkState: int,
|
|
8147
|
-
/**
|
|
8148
|
-
Gets or sets a value indicating what data should be preloaded, if any.
|
|
8149
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLMediaElement/preload)
|
|
8150
|
-
*/
|
|
8151
|
-
mutable preload: string,
|
|
8152
|
-
/**
|
|
8153
|
-
Gets a collection of buffered time ranges.
|
|
8154
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLMediaElement/buffered)
|
|
8155
|
-
*/
|
|
8156
|
-
buffered: timeRanges,
|
|
8157
|
-
/**
|
|
8158
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLMediaElement/readyState)
|
|
8159
|
-
*/
|
|
8160
|
-
readyState: int,
|
|
8161
|
-
/**
|
|
8162
|
-
Gets or sets the current playback position, in seconds.
|
|
8163
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLMediaElement/currentTime)
|
|
8164
|
-
*/
|
|
8165
|
-
mutable currentTime: float,
|
|
8166
|
-
/**
|
|
8167
|
-
Returns the duration in seconds of the current media resource. A NaN value is returned if duration is not available, or Infinity if the media resource is streaming.
|
|
8168
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLMediaElement/duration)
|
|
8169
|
-
*/
|
|
8170
|
-
duration: float,
|
|
8171
|
-
/**
|
|
8172
|
-
Gets a flag that specifies whether playback is paused.
|
|
8173
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLMediaElement/paused)
|
|
8174
|
-
*/
|
|
8175
|
-
paused: bool,
|
|
8176
|
-
/**
|
|
8177
|
-
Gets or sets the default playback rate when the user is not using fast forward or reverse for a video or audio resource.
|
|
8178
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLMediaElement/defaultPlaybackRate)
|
|
8179
|
-
*/
|
|
8180
|
-
mutable defaultPlaybackRate: float,
|
|
8181
|
-
/**
|
|
8182
|
-
Gets or sets the current rate of speed for the media resource to play. This speed is expressed as a multiple of the normal speed of the media resource.
|
|
8183
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLMediaElement/playbackRate)
|
|
8184
|
-
*/
|
|
8185
|
-
mutable playbackRate: float,
|
|
8186
|
-
/**
|
|
8187
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLMediaElement/preservesPitch)
|
|
8188
|
-
*/
|
|
8189
|
-
mutable preservesPitch: bool,
|
|
8190
|
-
/**
|
|
8191
|
-
Returns a TimeRanges object that represents the ranges of the current media resource that can be seeked.
|
|
8192
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLMediaElement/seekable)
|
|
8193
|
-
*/
|
|
8194
|
-
seekable: timeRanges,
|
|
8195
|
-
/**
|
|
8196
|
-
Gets information about whether the playback has ended or not.
|
|
8197
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLMediaElement/ended)
|
|
8198
|
-
*/
|
|
8199
|
-
ended: bool,
|
|
8200
|
-
/**
|
|
8201
|
-
Gets or sets a value that indicates whether to start playing the media automatically.
|
|
8202
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLMediaElement/autoplay)
|
|
8203
|
-
*/
|
|
8204
|
-
mutable autoplay: bool,
|
|
8205
|
-
/**
|
|
8206
|
-
Gets or sets a flag to specify whether playback should restart after it completes.
|
|
8207
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLMediaElement/loop)
|
|
8208
|
-
*/
|
|
8209
|
-
mutable loop: bool,
|
|
8210
|
-
/**
|
|
8211
|
-
Gets or sets a flag that indicates whether the client provides a set of controls for the media (in case the developer does not include controls for the player).
|
|
8212
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLMediaElement/controls)
|
|
8213
|
-
*/
|
|
8214
|
-
mutable controls: bool,
|
|
8215
|
-
/**
|
|
8216
|
-
Gets or sets the volume level for audio portions of the media element.
|
|
8217
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLMediaElement/volume)
|
|
8218
|
-
*/
|
|
8219
|
-
mutable volume: float,
|
|
8220
|
-
/**
|
|
8221
|
-
Gets or sets a flag that indicates whether the audio (either audio or the audio track on video media) is muted.
|
|
8222
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLMediaElement/muted)
|
|
8223
|
-
*/
|
|
8224
|
-
mutable muted: bool,
|
|
8225
|
-
/**
|
|
8226
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLMediaElement/defaultMuted)
|
|
8227
|
-
*/
|
|
8228
|
-
mutable defaultMuted: bool,
|
|
8229
|
-
/**
|
|
8230
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLMediaElement/textTracks)
|
|
8231
|
-
*/
|
|
8232
|
-
textTracks: textTrackList,
|
|
8233
|
-
/**
|
|
8234
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLMediaElement/sinkId)
|
|
8235
|
-
*/
|
|
8236
|
-
sinkId: string,
|
|
8237
|
-
/**
|
|
8238
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLMediaElement/mediaKeys)
|
|
8239
|
-
*/
|
|
8240
|
-
mediaKeys: Null.t<mediaKeys>,
|
|
8241
|
-
/**
|
|
8242
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLMediaElement/remote)
|
|
8243
|
-
*/
|
|
8244
|
-
remote: remotePlayback,
|
|
8245
|
-
/**
|
|
8246
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLMediaElement/disableRemotePlayback)
|
|
8247
|
-
*/
|
|
8248
|
-
mutable disableRemotePlayback: bool,
|
|
8249
|
-
}
|
|
8250
|
-
|
|
8251
|
-
/**
|
|
8252
|
-
Provides access to the properties of <audio> elements, as well as methods to manipulate them. It derives from the HTMLMediaElement interface.
|
|
8253
|
-
[See HTMLAudioElement on MDN](https://developer.mozilla.org/docs/Web/API/HTMLAudioElement)
|
|
8254
|
-
*/
|
|
8255
|
-
@editor.completeFrom(HTMLAudioElement)
|
|
8256
|
-
type htmlAudioElement = {
|
|
8257
|
-
...htmlMediaElement,
|
|
8258
|
-
}
|
|
8259
|
-
|
|
8260
|
-
/**
|
|
8261
|
-
Contains the base URI for a document. This object inherits all of the properties and methods as described in the HTMLElement interface.
|
|
8262
|
-
[See HTMLBaseElement on MDN](https://developer.mozilla.org/docs/Web/API/HTMLBaseElement)
|
|
8263
|
-
*/
|
|
8264
|
-
@editor.completeFrom(HTMLBaseElement)
|
|
8265
|
-
type htmlBaseElement = {
|
|
8266
|
-
...htmlElement,
|
|
8267
|
-
/**
|
|
8268
|
-
Gets or sets the baseline URL on which relative links are based.
|
|
8269
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLBaseElement/href)
|
|
8270
|
-
*/
|
|
8271
|
-
mutable href: string,
|
|
8272
|
-
/**
|
|
8273
|
-
Sets or retrieves the window or frame at which to target content.
|
|
8274
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLBaseElement/target)
|
|
8275
|
-
*/
|
|
8276
|
-
mutable target: string,
|
|
8277
|
-
}
|
|
8278
|
-
|
|
8279
|
-
/**
|
|
8280
|
-
Provides special properties (beyond those inherited from the regular HTMLElement interface) for manipulating <body> elements.
|
|
8281
|
-
[See HTMLBodyElement on MDN](https://developer.mozilla.org/docs/Web/API/HTMLBodyElement)
|
|
8282
|
-
*/
|
|
8283
|
-
@editor.completeFrom(HTMLBodyElement)
|
|
8284
|
-
type htmlBodyElement = {
|
|
8285
|
-
...htmlElement,
|
|
8286
|
-
}
|
|
8287
|
-
|
|
8288
|
-
/**
|
|
8289
|
-
A HTML line break element (<br>). It inherits from HTMLElement.
|
|
8290
|
-
[See HTMLBRElement on MDN](https://developer.mozilla.org/docs/Web/API/HTMLBRElement)
|
|
8291
|
-
*/
|
|
8292
|
-
@editor.completeFrom(HTMLBRElement)
|
|
8293
|
-
type htmlbrElement = {
|
|
8294
|
-
...htmlElement,
|
|
8295
|
-
}
|
|
8296
|
-
|
|
8297
|
-
/**
|
|
8298
|
-
Provides properties and methods for manipulating the layout and presentation of <canvas> elements. The HTMLCanvasElement interface also inherits the properties and methods of the HTMLElement interface.
|
|
8299
|
-
[See HTMLCanvasElement on MDN](https://developer.mozilla.org/docs/Web/API/HTMLCanvasElement)
|
|
8300
|
-
*/
|
|
8301
|
-
@editor.completeFrom(HTMLCanvasElement)
|
|
8302
|
-
type htmlCanvasElement = {
|
|
8303
|
-
...htmlElement,
|
|
8304
|
-
/**
|
|
8305
|
-
Gets or sets the width of a canvas element on a document.
|
|
8306
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLCanvasElement/width)
|
|
8307
|
-
*/
|
|
8308
|
-
mutable width: int,
|
|
8309
|
-
/**
|
|
8310
|
-
Gets or sets the height of a canvas element on a document.
|
|
8311
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLCanvasElement/height)
|
|
8312
|
-
*/
|
|
8313
|
-
mutable height: int,
|
|
8314
|
-
}
|
|
8315
|
-
|
|
8316
|
-
/**
|
|
8317
|
-
Provides special properties (beyond the regular HTMLElement interface it also has available to it by inheritance) for manipulating <data> elements.
|
|
8318
|
-
[See HTMLDataElement on MDN](https://developer.mozilla.org/docs/Web/API/HTMLDataElement)
|
|
8319
|
-
*/
|
|
8320
|
-
@editor.completeFrom(HTMLDataElement)
|
|
8321
|
-
type htmlDataElement = {
|
|
8322
|
-
...htmlElement,
|
|
8323
|
-
/**
|
|
8324
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLDataElement/value)
|
|
8325
|
-
*/
|
|
8326
|
-
mutable value: string,
|
|
8327
|
-
}
|
|
8328
|
-
|
|
8329
|
-
/**
|
|
8330
|
-
[See HTMLDialogElement on MDN](https://developer.mozilla.org/docs/Web/API/HTMLDialogElement)
|
|
8331
|
-
*/
|
|
8332
|
-
@editor.completeFrom(HTMLDialogElement)
|
|
8333
|
-
type htmlDialogElement = {
|
|
8334
|
-
...htmlElement,
|
|
8335
|
-
/**
|
|
8336
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLDialogElement/open)
|
|
8337
|
-
*/
|
|
8338
|
-
@as("open")
|
|
8339
|
-
mutable open_: bool,
|
|
8340
|
-
/**
|
|
8341
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLDialogElement/returnValue)
|
|
8342
|
-
*/
|
|
8343
|
-
mutable returnValue: string,
|
|
8344
|
-
}
|
|
8345
|
-
|
|
8346
|
-
/**
|
|
8347
|
-
Provides special properties (beyond the regular HTMLElement interface it also has available to it by inheritance) for manipulating <div> elements.
|
|
8348
|
-
[See HTMLDivElement on MDN](https://developer.mozilla.org/docs/Web/API/HTMLDivElement)
|
|
8349
|
-
*/
|
|
8350
|
-
@editor.completeFrom(HTMLDivElement)
|
|
8351
|
-
type htmlDivElement = {
|
|
8352
|
-
...htmlElement,
|
|
8353
|
-
}
|
|
8354
|
-
|
|
8355
|
-
/**
|
|
8356
|
-
Provides special properties (beyond those of the regular HTMLElement interface it also has available to it by inheritance) for manipulating definition list (<dl>) elements.
|
|
8357
|
-
[See HTMLDListElement on MDN](https://developer.mozilla.org/docs/Web/API/HTMLDListElement)
|
|
8358
|
-
*/
|
|
8359
|
-
@editor.completeFrom(HTMLDListElement)
|
|
8360
|
-
type htmldListElement = {
|
|
8361
|
-
...htmlElement,
|
|
8362
|
-
}
|
|
8363
|
-
|
|
8364
|
-
/**
|
|
8365
|
-
Provides special properties and methods (beyond the regular HTMLElement interface it also has available to it by inheritance) for manipulating the layout and presentation of <fieldset> elements.
|
|
8366
|
-
[See HTMLFieldSetElement on MDN](https://developer.mozilla.org/docs/Web/API/HTMLFieldSetElement)
|
|
8367
|
-
*/
|
|
8368
|
-
@editor.completeFrom(HTMLFieldSetElement)
|
|
8369
|
-
type htmlFieldSetElement = {
|
|
8370
|
-
...htmlElement,
|
|
8371
|
-
/**
|
|
8372
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLFieldSetElement/disabled)
|
|
8373
|
-
*/
|
|
8374
|
-
mutable disabled: bool,
|
|
8375
|
-
/**
|
|
8376
|
-
Retrieves a reference to the form that the object is embedded in.
|
|
8377
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLFieldSetElement/form)
|
|
8378
|
-
*/
|
|
8379
|
-
form: Null.t<htmlFormElement>,
|
|
8380
|
-
/**
|
|
8381
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLFieldSetElement/name)
|
|
8382
|
-
*/
|
|
8383
|
-
mutable name: string,
|
|
8384
|
-
/**
|
|
8385
|
-
Returns the string "fieldset".
|
|
8386
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLFieldSetElement/type)
|
|
8387
|
-
*/
|
|
8388
|
-
@as("type")
|
|
8389
|
-
type_: string,
|
|
8390
|
-
/**
|
|
8391
|
-
Returns an HTMLCollection of the form controls in the element.
|
|
8392
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLFieldSetElement/elements)
|
|
8393
|
-
*/
|
|
8394
|
-
elements: htmlCollection<element>,
|
|
8395
|
-
/**
|
|
8396
|
-
Returns whether an element will successfully validate based on forms validation rules and constraints.
|
|
8397
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLFieldSetElement/willValidate)
|
|
8398
|
-
*/
|
|
8399
|
-
willValidate: bool,
|
|
8400
|
-
/**
|
|
8401
|
-
Returns a ValidityState object that represents the validity states of an element.
|
|
8402
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLFieldSetElement/validity)
|
|
8403
|
-
*/
|
|
8404
|
-
validity: validityState,
|
|
8405
|
-
/**
|
|
8406
|
-
Returns the error message that would be displayed if the user submits the form, or an empty string if no error message. It also triggers the standard error message, such as "this is a required field". The result is that the user sees validation messages without actually submitting.
|
|
8407
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLFieldSetElement/validationMessage)
|
|
8408
|
-
*/
|
|
8409
|
-
validationMessage: string,
|
|
8410
|
-
}
|
|
8411
|
-
|
|
8412
|
-
/**
|
|
8413
|
-
Provides special properties (beyond those of the regular HTMLElement interface they also inherit) for manipulating <frameset> elements.
|
|
8414
|
-
[See HTMLFrameSetElement on MDN](https://developer.mozilla.org/docs/Web/API/HTMLFrameSetElement)
|
|
8415
|
-
*/
|
|
8416
|
-
@editor.completeFrom(HTMLFrameSetElement)
|
|
8417
|
-
type htmlFrameSetElement = {
|
|
8418
|
-
...htmlElement,
|
|
8419
|
-
}
|
|
8420
|
-
|
|
8421
|
-
/**
|
|
8422
|
-
The different heading elements. It inherits methods and properties from the HTMLElement interface.
|
|
8423
|
-
[See HTMLHeadingElement on MDN](https://developer.mozilla.org/docs/Web/API/HTMLHeadingElement)
|
|
8424
|
-
*/
|
|
8425
|
-
@editor.completeFrom(HTMLHeadingElement)
|
|
8426
|
-
type htmlHeadingElement = {
|
|
8427
|
-
...htmlElement,
|
|
8428
|
-
}
|
|
8429
|
-
|
|
8430
|
-
/**
|
|
8431
|
-
Provides special properties (beyond those of the HTMLElement interface it also has available to it by inheritance) for manipulating <hr> elements.
|
|
8432
|
-
[See HTMLHRElement on MDN](https://developer.mozilla.org/docs/Web/API/HTMLHRElement)
|
|
8433
|
-
*/
|
|
8434
|
-
@editor.completeFrom(HTMLHRElement)
|
|
8435
|
-
type htmlhrElement = {
|
|
8436
|
-
...htmlElement,
|
|
8437
|
-
}
|
|
8438
|
-
|
|
8439
|
-
/**
|
|
8440
|
-
Serves as the root node for a given HTML document. This object inherits the properties and methods described in the HTMLElement interface.
|
|
8441
|
-
[See HTMLHtmlElement on MDN](https://developer.mozilla.org/docs/Web/API/HTMLHtmlElement)
|
|
8442
|
-
*/
|
|
8443
|
-
@editor.completeFrom(HTMLHtmlElement)
|
|
8444
|
-
type htmlHtmlElement = {
|
|
8445
|
-
...htmlElement,
|
|
8446
|
-
}
|
|
8447
|
-
|
|
8448
|
-
/**
|
|
8449
|
-
Provides special properties and methods (beyond those of the HTMLElement interface it also has available to it by inheritance) for manipulating the layout and presentation of inline frame elements.
|
|
8450
|
-
[See HTMLIFrameElement on MDN](https://developer.mozilla.org/docs/Web/API/HTMLIFrameElement)
|
|
8451
|
-
*/
|
|
8452
|
-
@editor.completeFrom(HTMLIFrameElement)
|
|
8453
|
-
type htmliFrameElement = {
|
|
8454
|
-
...htmlElement,
|
|
8455
|
-
/**
|
|
8456
|
-
Sets or retrieves a URL to be loaded by the object.
|
|
8457
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLIFrameElement/src)
|
|
8458
|
-
*/
|
|
8459
|
-
mutable src: string,
|
|
8460
|
-
/**
|
|
8461
|
-
Sets or retrives the content of the page that is to contain.
|
|
8462
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLIFrameElement/srcdoc)
|
|
8463
|
-
*/
|
|
8464
|
-
mutable srcdoc: string,
|
|
8465
|
-
/**
|
|
8466
|
-
Sets or retrieves the frame name.
|
|
8467
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLIFrameElement/name)
|
|
8468
|
-
*/
|
|
8469
|
-
mutable name: string,
|
|
8470
|
-
/**
|
|
8471
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLIFrameElement/sandbox)
|
|
8472
|
-
*/
|
|
8473
|
-
sandbox: domTokenList,
|
|
8474
|
-
/**
|
|
8475
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLIFrameElement/allow)
|
|
8476
|
-
*/
|
|
8477
|
-
mutable allow: string,
|
|
8478
|
-
/**
|
|
8479
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLIFrameElement/allowFullscreen)
|
|
8480
|
-
*/
|
|
8481
|
-
mutable allowFullscreen: bool,
|
|
8482
|
-
/**
|
|
8483
|
-
Sets or retrieves the width of the object.
|
|
8484
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLIFrameElement/width)
|
|
8485
|
-
*/
|
|
8486
|
-
mutable width: string,
|
|
8487
|
-
/**
|
|
8488
|
-
Sets or retrieves the height of the object.
|
|
8489
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLIFrameElement/height)
|
|
8490
|
-
*/
|
|
8491
|
-
mutable height: string,
|
|
8492
|
-
/**
|
|
8493
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLIFrameElement/referrerPolicy)
|
|
8494
|
-
*/
|
|
8495
|
-
mutable referrerPolicy: referrerPolicy,
|
|
8496
|
-
/**
|
|
8497
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLIFrameElement/loading)
|
|
8498
|
-
*/
|
|
8499
|
-
mutable loading: string,
|
|
8500
|
-
/**
|
|
8501
|
-
Retrieves the document object of the page or frame.
|
|
8502
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLIFrameElement/contentDocument)
|
|
8503
|
-
*/
|
|
8504
|
-
contentDocument: Null.t<document>,
|
|
8505
|
-
/**
|
|
8506
|
-
Retrieves the object of the specified.
|
|
8507
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLIFrameElement/contentWindow)
|
|
8508
|
-
*/
|
|
8509
|
-
contentWindow: Null.t<window>,
|
|
8510
|
-
}
|
|
8511
|
-
|
|
8512
|
-
/**
|
|
8513
|
-
The HTMLLegendElement is an interface allowing to access properties of the <legend> elements. It inherits properties and methods from the HTMLElement interface.
|
|
8514
|
-
[See HTMLLegendElement on MDN](https://developer.mozilla.org/docs/Web/API/HTMLLegendElement)
|
|
8515
|
-
*/
|
|
8516
|
-
@editor.completeFrom(HTMLLegendElement)
|
|
8517
|
-
type htmlLegendElement = {
|
|
8518
|
-
...htmlElement,
|
|
8519
|
-
/**
|
|
8520
|
-
Retrieves a reference to the form that the object is embedded in.
|
|
8521
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLLegendElement/form)
|
|
8522
|
-
*/
|
|
8523
|
-
form: Null.t<htmlFormElement>,
|
|
8524
|
-
}
|
|
8525
|
-
|
|
8526
|
-
/**
|
|
8527
|
-
Exposes specific properties and methods (beyond those defined by regular HTMLElement interface it also has available to it by inheritance) for manipulating list elements.
|
|
8528
|
-
[See HTMLLIElement on MDN](https://developer.mozilla.org/docs/Web/API/HTMLLIElement)
|
|
8529
|
-
*/
|
|
8530
|
-
@editor.completeFrom(HTMLLIElement)
|
|
8531
|
-
type htmlliElement = {
|
|
8532
|
-
...htmlElement,
|
|
8533
|
-
}
|
|
8534
|
-
|
|
8535
|
-
/**
|
|
8536
|
-
Reference information for external resources and the relationship of those resources to a document and vice-versa. This object inherits all of the properties and methods of the HTMLElement interface.
|
|
8537
|
-
[See HTMLLinkElement on MDN](https://developer.mozilla.org/docs/Web/API/HTMLLinkElement)
|
|
8538
|
-
*/
|
|
8539
|
-
@editor.completeFrom(HTMLLinkElement)
|
|
8540
|
-
type htmlLinkElement = {
|
|
8541
|
-
...htmlElement,
|
|
8542
|
-
/**
|
|
8543
|
-
Sets or retrieves a destination URL or an anchor point.
|
|
8544
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLLinkElement/href)
|
|
8545
|
-
*/
|
|
8546
|
-
mutable href: string,
|
|
8547
|
-
/**
|
|
8548
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLLinkElement/crossOrigin)
|
|
8549
|
-
*/
|
|
8550
|
-
mutable crossOrigin: Null.t<string>,
|
|
8551
|
-
/**
|
|
8552
|
-
Sets or retrieves the relationship between the object and the destination of the link.
|
|
8553
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLLinkElement/rel)
|
|
8554
|
-
*/
|
|
8555
|
-
mutable rel: string,
|
|
8556
|
-
/**
|
|
8557
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLLinkElement/as)
|
|
8558
|
-
*/
|
|
8559
|
-
@as("as")
|
|
8560
|
-
mutable as_: string,
|
|
8561
|
-
/**
|
|
8562
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLLinkElement/relList)
|
|
8563
|
-
*/
|
|
8564
|
-
relList: domTokenList,
|
|
8565
|
-
/**
|
|
8566
|
-
Sets or retrieves the media type.
|
|
8567
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLLinkElement/media)
|
|
8568
|
-
*/
|
|
8569
|
-
mutable media: string,
|
|
8570
|
-
/**
|
|
8571
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLLinkElement/integrity)
|
|
8572
|
-
*/
|
|
8573
|
-
mutable integrity: string,
|
|
8574
|
-
/**
|
|
8575
|
-
Sets or retrieves the language code of the object.
|
|
8576
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLLinkElement/hreflang)
|
|
8577
|
-
*/
|
|
8578
|
-
mutable hreflang: string,
|
|
8579
|
-
/**
|
|
8580
|
-
Sets or retrieves the MIME type of the object.
|
|
8581
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLLinkElement/type)
|
|
8582
|
-
*/
|
|
8583
|
-
@as("type")
|
|
8584
|
-
mutable type_: string,
|
|
8585
|
-
/**
|
|
8586
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLLinkElement/referrerPolicy)
|
|
8587
|
-
*/
|
|
8588
|
-
mutable referrerPolicy: string,
|
|
8589
|
-
/**
|
|
8590
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLLinkElement/disabled)
|
|
8591
|
-
*/
|
|
8592
|
-
mutable disabled: bool,
|
|
8593
|
-
/**
|
|
8594
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLLinkElement/fetchPriority)
|
|
8595
|
-
*/
|
|
8596
|
-
mutable fetchPriority: string,
|
|
8597
|
-
/**
|
|
8598
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLLinkElement/sheet)
|
|
8599
|
-
*/
|
|
8600
|
-
sheet: Null.t<cssStyleSheet>,
|
|
8601
|
-
}
|
|
8602
|
-
|
|
8603
|
-
/**
|
|
8604
|
-
Provides special properties and methods (beyond those of the regular object HTMLElement interface it also has available to it by inheritance) for manipulating the layout and presentation of map elements.
|
|
8605
|
-
[See HTMLMapElement on MDN](https://developer.mozilla.org/docs/Web/API/HTMLMapElement)
|
|
8606
|
-
*/
|
|
8607
|
-
@editor.completeFrom(HTMLMapElement)
|
|
8608
|
-
type htmlMapElement = {
|
|
8609
|
-
...htmlElement,
|
|
8610
|
-
/**
|
|
8611
|
-
Sets or retrieves the name of the object.
|
|
8612
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLMapElement/name)
|
|
8613
|
-
*/
|
|
8614
|
-
mutable name: string,
|
|
8615
|
-
/**
|
|
8616
|
-
Retrieves a collection of the area objects defined for the given map object.
|
|
8617
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLMapElement/areas)
|
|
8618
|
-
*/
|
|
8619
|
-
areas: htmlCollection<element>,
|
|
8620
|
-
}
|
|
8621
|
-
|
|
8622
|
-
/**
|
|
8623
|
-
[See HTMLMenuElement on MDN](https://developer.mozilla.org/docs/Web/API/HTMLMenuElement)
|
|
8624
|
-
*/
|
|
8625
|
-
@editor.completeFrom(HTMLMenuElement)
|
|
8626
|
-
type htmlMenuElement = {
|
|
8627
|
-
...htmlElement,
|
|
8628
|
-
}
|
|
8629
|
-
|
|
8630
|
-
/**
|
|
8631
|
-
Contains descriptive metadata about a document. It inherits all of the properties and methods described in the HTMLElement interface.
|
|
8632
|
-
[See HTMLMetaElement on MDN](https://developer.mozilla.org/docs/Web/API/HTMLMetaElement)
|
|
8633
|
-
*/
|
|
8634
|
-
@editor.completeFrom(HTMLMetaElement)
|
|
8635
|
-
type htmlMetaElement = {
|
|
8636
|
-
...htmlElement,
|
|
8637
|
-
/**
|
|
8638
|
-
Sets or retrieves the value specified in the content attribute of the meta object.
|
|
8639
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLMetaElement/name)
|
|
8640
|
-
*/
|
|
8641
|
-
mutable name: string,
|
|
8642
|
-
/**
|
|
8643
|
-
Gets or sets information used to bind the value of a content attribute of a meta element to an HTTP response header.
|
|
8644
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLMetaElement/httpEquiv)
|
|
8645
|
-
*/
|
|
8646
|
-
mutable httpEquiv: string,
|
|
8647
|
-
/**
|
|
8648
|
-
Gets or sets meta-information to associate with httpEquiv or name.
|
|
8649
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLMetaElement/content)
|
|
8650
|
-
*/
|
|
8651
|
-
mutable content: string,
|
|
8652
|
-
/**
|
|
8653
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLMetaElement/media)
|
|
8654
|
-
*/
|
|
8655
|
-
mutable media: string,
|
|
8656
|
-
}
|
|
8657
|
-
|
|
8658
|
-
/**
|
|
8659
|
-
The HTML <meter> elements expose the HTMLMeterElement interface, which provides special properties and methods (beyond the HTMLElement object interface they also have available to them by inheritance) for manipulating the layout and presentation of <meter> elements.
|
|
8660
|
-
[See HTMLMeterElement on MDN](https://developer.mozilla.org/docs/Web/API/HTMLMeterElement)
|
|
8661
|
-
*/
|
|
8662
|
-
@editor.completeFrom(HTMLMeterElement)
|
|
8663
|
-
type htmlMeterElement = {
|
|
8664
|
-
...htmlElement,
|
|
8665
|
-
/**
|
|
8666
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLMeterElement/value)
|
|
8667
|
-
*/
|
|
8668
|
-
mutable value: float,
|
|
8669
|
-
/**
|
|
8670
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLMeterElement/min)
|
|
8671
|
-
*/
|
|
8672
|
-
mutable min: float,
|
|
8673
|
-
/**
|
|
8674
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLMeterElement/max)
|
|
8675
|
-
*/
|
|
8676
|
-
mutable max: float,
|
|
8677
|
-
/**
|
|
8678
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLMeterElement/low)
|
|
8679
|
-
*/
|
|
8680
|
-
mutable low: float,
|
|
8681
|
-
/**
|
|
8682
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLMeterElement/high)
|
|
8683
|
-
*/
|
|
8684
|
-
mutable high: float,
|
|
8685
|
-
/**
|
|
8686
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLMeterElement/optimum)
|
|
8687
|
-
*/
|
|
8688
|
-
mutable optimum: float,
|
|
8689
|
-
/**
|
|
8690
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLMeterElement/labels)
|
|
8691
|
-
*/
|
|
8692
|
-
labels: nodeList<htmlLabelElement>,
|
|
8693
|
-
}
|
|
8694
|
-
|
|
8695
|
-
/**
|
|
8696
|
-
Provides special properties (beyond the regular methods and properties available through the HTMLElement interface they also have available to them by inheritance) for manipulating modification elements, that is <del> and <ins>.
|
|
8697
|
-
[See HTMLModElement on MDN](https://developer.mozilla.org/docs/Web/API/HTMLModElement)
|
|
8698
|
-
*/
|
|
8699
|
-
@editor.completeFrom(HTMLModElement)
|
|
8700
|
-
type htmlModElement = {
|
|
8701
|
-
...htmlElement,
|
|
8702
|
-
}
|
|
8703
|
-
|
|
8704
|
-
/**
|
|
8705
|
-
Provides special properties and methods (beyond those on the HTMLElement interface it also has available to it by inheritance) for manipulating the layout and presentation of <object> element, representing external resources.
|
|
8706
|
-
[See HTMLObjectElement on MDN](https://developer.mozilla.org/docs/Web/API/HTMLObjectElement)
|
|
8707
|
-
*/
|
|
8708
|
-
@editor.completeFrom(HTMLObjectElement)
|
|
8709
|
-
type htmlObjectElement = {
|
|
8710
|
-
...htmlElement,
|
|
8711
|
-
/**
|
|
8712
|
-
Sets or retrieves the URL that references the data of the object.
|
|
8713
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLObjectElement/data)
|
|
8714
|
-
*/
|
|
8715
|
-
mutable data: string,
|
|
8716
|
-
/**
|
|
8717
|
-
Sets or retrieves the MIME type of the object.
|
|
8718
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLObjectElement/type)
|
|
8719
|
-
*/
|
|
8720
|
-
@as("type")
|
|
8721
|
-
mutable type_: string,
|
|
8722
|
-
/**
|
|
8723
|
-
Sets or retrieves the name of the object.
|
|
8724
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLObjectElement/name)
|
|
8725
|
-
*/
|
|
8726
|
-
mutable name: string,
|
|
8727
|
-
/**
|
|
8728
|
-
Retrieves a reference to the form that the object is embedded in.
|
|
8729
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLObjectElement/form)
|
|
8730
|
-
*/
|
|
8731
|
-
form: Null.t<htmlFormElement>,
|
|
8732
|
-
/**
|
|
8733
|
-
Sets or retrieves the width of the object.
|
|
8734
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLObjectElement/width)
|
|
8735
|
-
*/
|
|
8736
|
-
mutable width: string,
|
|
8737
|
-
/**
|
|
8738
|
-
Sets or retrieves the height of the object.
|
|
8739
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLObjectElement/height)
|
|
8740
|
-
*/
|
|
8741
|
-
mutable height: string,
|
|
8742
|
-
/**
|
|
8743
|
-
Retrieves the document object of the page or frame.
|
|
8744
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLObjectElement/contentDocument)
|
|
8745
|
-
*/
|
|
8746
|
-
contentDocument: Null.t<document>,
|
|
8747
|
-
/**
|
|
8748
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLObjectElement/contentWindow)
|
|
8749
|
-
*/
|
|
8750
|
-
contentWindow: Null.t<window>,
|
|
8751
|
-
/**
|
|
8752
|
-
Returns whether an element will successfully validate based on forms validation rules and constraints.
|
|
8753
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLObjectElement/willValidate)
|
|
8754
|
-
*/
|
|
8755
|
-
willValidate: bool,
|
|
8756
|
-
/**
|
|
8757
|
-
Returns a ValidityState object that represents the validity states of an element.
|
|
8758
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLObjectElement/validity)
|
|
8759
|
-
*/
|
|
8760
|
-
validity: validityState,
|
|
8761
|
-
/**
|
|
8762
|
-
Returns the error message that would be displayed if the user submits the form, or an empty string if no error message. It also triggers the standard error message, such as "this is a required field". The result is that the user sees validation messages without actually submitting.
|
|
8763
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLObjectElement/validationMessage)
|
|
8764
|
-
*/
|
|
8765
|
-
validationMessage: string,
|
|
8766
|
-
}
|
|
8767
|
-
|
|
8768
|
-
/**
|
|
8769
|
-
Provides special properties (beyond those defined on the regular HTMLElement interface it also has available to it by inheritance) for manipulating ordered list elements.
|
|
8770
|
-
[See HTMLOListElement on MDN](https://developer.mozilla.org/docs/Web/API/HTMLOListElement)
|
|
8771
|
-
*/
|
|
8772
|
-
@editor.completeFrom(HTMLOListElement)
|
|
8773
|
-
type htmloListElement = {
|
|
8774
|
-
...htmlElement,
|
|
8775
|
-
/**
|
|
8776
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLOListElement/reversed)
|
|
8777
|
-
*/
|
|
8778
|
-
mutable reversed: bool,
|
|
8779
|
-
/**
|
|
8780
|
-
The starting number.
|
|
8781
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLOListElement/start)
|
|
8782
|
-
*/
|
|
8783
|
-
mutable start: int,
|
|
8784
|
-
/**
|
|
8785
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLOListElement/type)
|
|
8786
|
-
*/
|
|
8787
|
-
@as("type")
|
|
8788
|
-
mutable type_: string,
|
|
8789
|
-
}
|
|
8790
|
-
|
|
8791
|
-
/**
|
|
8792
|
-
Provides special properties and methods (beyond the regular HTMLElement object interface they also have available to them by inheritance) for manipulating the layout and presentation of <optgroup> elements.
|
|
8793
|
-
[See HTMLOptGroupElement on MDN](https://developer.mozilla.org/docs/Web/API/HTMLOptGroupElement)
|
|
8794
|
-
*/
|
|
8795
|
-
@editor.completeFrom(HTMLOptGroupElement)
|
|
8796
|
-
type htmlOptGroupElement = {
|
|
8797
|
-
...htmlElement,
|
|
8798
|
-
/**
|
|
8799
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLOptGroupElement/disabled)
|
|
8800
|
-
*/
|
|
8801
|
-
mutable disabled: bool,
|
|
8802
|
-
/**
|
|
8803
|
-
Sets or retrieves a value that you can use to implement your own label functionality for the object.
|
|
8804
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLOptGroupElement/label)
|
|
8805
|
-
*/
|
|
8806
|
-
mutable label: string,
|
|
8807
|
-
}
|
|
8808
|
-
|
|
8809
|
-
/**
|
|
8810
|
-
Provides special properties (beyond those of the regular HTMLElement object interface it inherits) for manipulating <p> elements.
|
|
8811
|
-
[See HTMLParagraphElement on MDN](https://developer.mozilla.org/docs/Web/API/HTMLParagraphElement)
|
|
8812
|
-
*/
|
|
8813
|
-
@editor.completeFrom(HTMLParagraphElement)
|
|
8814
|
-
type htmlParagraphElement = {
|
|
8815
|
-
...htmlElement,
|
|
8816
|
-
}
|
|
8817
|
-
|
|
8818
|
-
/**
|
|
8819
|
-
A <picture> HTML element. It doesn't implement specific properties or methods.
|
|
8820
|
-
[See HTMLPictureElement on MDN](https://developer.mozilla.org/docs/Web/API/HTMLPictureElement)
|
|
8821
|
-
*/
|
|
8822
|
-
@editor.completeFrom(HTMLPictureElement)
|
|
8823
|
-
type htmlPictureElement = {
|
|
8824
|
-
...htmlElement,
|
|
8825
|
-
}
|
|
8826
|
-
|
|
8827
|
-
/**
|
|
8828
|
-
Exposes specific properties and methods (beyond those of the HTMLElement interface it also has available to it by inheritance) for manipulating a block of preformatted text (<pre>).
|
|
8829
|
-
[See HTMLPreElement on MDN](https://developer.mozilla.org/docs/Web/API/HTMLPreElement)
|
|
8830
|
-
*/
|
|
8831
|
-
@editor.completeFrom(HTMLPreElement)
|
|
8832
|
-
type htmlPreElement = {
|
|
8833
|
-
...htmlElement,
|
|
8834
|
-
}
|
|
8835
|
-
|
|
8836
|
-
/**
|
|
8837
|
-
Provides special properties and methods (beyond the regular HTMLElement interface it also has available to it by inheritance) for manipulating the layout and presentation of <progress> elements.
|
|
8838
|
-
[See HTMLProgressElement on MDN](https://developer.mozilla.org/docs/Web/API/HTMLProgressElement)
|
|
8839
|
-
*/
|
|
8840
|
-
@editor.completeFrom(HTMLProgressElement)
|
|
8841
|
-
type htmlProgressElement = {
|
|
8842
|
-
...htmlElement,
|
|
8843
|
-
/**
|
|
8844
|
-
Sets or gets the current value of a progress element. The value must be a non-negative number between 0 and the max value.
|
|
8845
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLProgressElement/value)
|
|
8846
|
-
*/
|
|
8847
|
-
mutable value: float,
|
|
8848
|
-
/**
|
|
8849
|
-
Defines the maximum, or "done" value for a progress element.
|
|
8850
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLProgressElement/max)
|
|
8851
|
-
*/
|
|
8852
|
-
mutable max: float,
|
|
8853
|
-
/**
|
|
8854
|
-
Returns the quotient of value/max when the value attribute is set (determinate progress bar), or -1 when the value attribute is missing (indeterminate progress bar).
|
|
8855
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLProgressElement/position)
|
|
8856
|
-
*/
|
|
8857
|
-
position: float,
|
|
8858
|
-
/**
|
|
8859
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLProgressElement/labels)
|
|
8860
|
-
*/
|
|
8861
|
-
labels: nodeList<htmlLabelElement>,
|
|
8862
|
-
}
|
|
8863
|
-
|
|
8864
|
-
/**
|
|
8865
|
-
Provides special properties and methods (beyond the regular HTMLElement interface it also has available to it by inheritance) for manipulating quoting elements, like <blockquote> and <q>, but not the <cite> element.
|
|
8866
|
-
[See HTMLQuoteElement on MDN](https://developer.mozilla.org/docs/Web/API/HTMLQuoteElement)
|
|
8867
|
-
*/
|
|
8868
|
-
@editor.completeFrom(HTMLQuoteElement)
|
|
8869
|
-
type htmlQuoteElement = {
|
|
8870
|
-
...htmlElement,
|
|
8871
|
-
}
|
|
8872
|
-
|
|
8873
|
-
/**
|
|
8874
|
-
Provides special properties (beyond the regular HTMLElement object interface it also has available to it by inheritance) for manipulating <source> elements.
|
|
8875
|
-
[See HTMLSourceElement on MDN](https://developer.mozilla.org/docs/Web/API/HTMLSourceElement)
|
|
8876
|
-
*/
|
|
8877
|
-
@editor.completeFrom(HTMLSourceElement)
|
|
8878
|
-
type htmlSourceElement = {
|
|
8879
|
-
...htmlElement,
|
|
8880
|
-
/**
|
|
8881
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLSourceElement/width)
|
|
8882
|
-
*/
|
|
8883
|
-
mutable width: int,
|
|
8884
|
-
/**
|
|
8885
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLSourceElement/height)
|
|
8886
|
-
*/
|
|
8887
|
-
mutable height: int,
|
|
8888
|
-
}
|
|
8889
|
-
|
|
8890
|
-
/**
|
|
8891
|
-
A <span> element and derives from the HTMLElement interface, but without implementing any additional properties or methods.
|
|
8892
|
-
[See HTMLSpanElement on MDN](https://developer.mozilla.org/docs/Web/API/HTMLSpanElement)
|
|
8893
|
-
*/
|
|
8894
|
-
@editor.completeFrom(HTMLSpanElement)
|
|
8895
|
-
type htmlSpanElement = {
|
|
8896
|
-
...htmlElement,
|
|
8897
|
-
}
|
|
8898
|
-
|
|
8899
|
-
/**
|
|
8900
|
-
A <style> element. It inherits properties and methods from its parent, HTMLElement, and from LinkStyle.
|
|
8901
|
-
[See HTMLStyleElement on MDN](https://developer.mozilla.org/docs/Web/API/HTMLStyleElement)
|
|
8902
|
-
*/
|
|
8903
|
-
@editor.completeFrom(HTMLStyleElement)
|
|
8904
|
-
type htmlStyleElement = {
|
|
8905
|
-
...htmlElement,
|
|
8906
|
-
/**
|
|
8907
|
-
Enables or disables the style sheet.
|
|
8908
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLStyleElement/disabled)
|
|
8909
|
-
*/
|
|
8910
|
-
mutable disabled: bool,
|
|
8911
|
-
/**
|
|
8912
|
-
Sets or retrieves the media type.
|
|
8913
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLStyleElement/media)
|
|
8914
|
-
*/
|
|
8915
|
-
mutable media: string,
|
|
8916
|
-
/**
|
|
8917
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLLinkElement/sheet)
|
|
8918
|
-
*/
|
|
8919
|
-
sheet: Null.t<cssStyleSheet>,
|
|
8920
|
-
}
|
|
8921
|
-
|
|
8922
|
-
/**
|
|
8923
|
-
Enables access to the contents of an HTML <template> element.
|
|
8924
|
-
[See HTMLTemplateElement on MDN](https://developer.mozilla.org/docs/Web/API/HTMLTemplateElement)
|
|
8925
|
-
*/
|
|
8926
|
-
@editor.completeFrom(HTMLTemplateElement)
|
|
8927
|
-
type htmlTemplateElement = {
|
|
8928
|
-
...htmlElement,
|
|
8929
|
-
/**
|
|
8930
|
-
Returns the template contents (a DocumentFragment).
|
|
8931
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLTemplateElement/content)
|
|
8932
|
-
*/
|
|
8933
|
-
content: documentFragment,
|
|
8934
|
-
/**
|
|
8935
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLTemplateElement/shadowRootMode)
|
|
8936
|
-
*/
|
|
8937
|
-
mutable shadowRootMode: string,
|
|
8938
|
-
/**
|
|
8939
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLTemplateElement/shadowRootDelegatesFocus)
|
|
8940
|
-
*/
|
|
8941
|
-
mutable shadowRootDelegatesFocus: bool,
|
|
8942
|
-
/**
|
|
8943
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLTemplateElement/shadowRootClonable)
|
|
8944
|
-
*/
|
|
8945
|
-
mutable shadowRootClonable: bool,
|
|
8946
|
-
/**
|
|
8947
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLTemplateElement/shadowRootSerializable)
|
|
8948
|
-
*/
|
|
8949
|
-
mutable shadowRootSerializable: bool,
|
|
8950
|
-
}
|
|
8951
|
-
|
|
8952
|
-
/**
|
|
8953
|
-
Provides special properties (beyond the regular HTMLElement interface it also has available to it by inheritance) for manipulating <time> elements.
|
|
8954
|
-
[See HTMLTimeElement on MDN](https://developer.mozilla.org/docs/Web/API/HTMLTimeElement)
|
|
8955
|
-
*/
|
|
8956
|
-
@editor.completeFrom(HTMLTimeElement)
|
|
8957
|
-
type htmlTimeElement = {
|
|
8958
|
-
...htmlElement,
|
|
8959
|
-
/**
|
|
8960
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLTimeElement/dateTime)
|
|
8961
|
-
*/
|
|
8962
|
-
mutable dateTime: string,
|
|
8963
|
-
}
|
|
8964
|
-
|
|
8965
|
-
/**
|
|
8966
|
-
Contains the title for a document. This element inherits all of the properties and methods of the HTMLElement interface.
|
|
8967
|
-
[See HTMLTitleElement on MDN](https://developer.mozilla.org/docs/Web/API/HTMLTitleElement)
|
|
8968
|
-
*/
|
|
8969
|
-
@editor.completeFrom(HTMLTitleElement)
|
|
8970
|
-
type htmlTitleElement = {
|
|
8971
|
-
...htmlElement,
|
|
8972
|
-
/**
|
|
8973
|
-
Retrieves or sets the text of the object as a string.
|
|
8974
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLTitleElement/text)
|
|
8975
|
-
*/
|
|
8976
|
-
mutable text: string,
|
|
8977
|
-
}
|
|
8978
|
-
|
|
8979
|
-
/**
|
|
8980
|
-
The HTMLTrackElement
|
|
8981
|
-
[See HTMLTrackElement on MDN](https://developer.mozilla.org/docs/Web/API/HTMLTrackElement)
|
|
8982
|
-
*/
|
|
8983
|
-
@editor.completeFrom(HTMLTrackElement)
|
|
8984
|
-
type htmlTrackElement = {
|
|
8985
|
-
...htmlElement,
|
|
8986
|
-
/**
|
|
8987
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLTrackElement/src)
|
|
8988
|
-
*/
|
|
8989
|
-
mutable src: string,
|
|
8990
|
-
}
|
|
8991
|
-
|
|
8992
|
-
/**
|
|
8993
|
-
Provides special properties (beyond those defined on the regular HTMLElement interface it also has available to it by inheritance) for manipulating unordered list elements.
|
|
8994
|
-
[See HTMLUListElement on MDN](https://developer.mozilla.org/docs/Web/API/HTMLUListElement)
|
|
8995
|
-
*/
|
|
8996
|
-
@editor.completeFrom(HTMLUListElement)
|
|
8997
|
-
type htmluListElement = {
|
|
8998
|
-
...htmlElement,
|
|
8999
|
-
}
|
|
9000
|
-
|
|
9001
|
-
/**
|
|
9002
|
-
An invalid HTML element and derives from the HTMLElement interface, but without implementing any additional properties or methods.
|
|
9003
|
-
[See HTMLUnknownElement on MDN](https://developer.mozilla.org/docs/Web/API/HTMLUnknownElement)
|
|
9004
|
-
*/
|
|
9005
|
-
type htmlUnknownElement = {
|
|
9006
|
-
...htmlElement,
|
|
9007
|
-
}
|
|
9008
|
-
|
|
9009
|
-
/**
|
|
9010
|
-
Provides special properties and methods for manipulating video objects. It also inherits properties and methods of HTMLMediaElement and HTMLElement.
|
|
9011
|
-
[See HTMLVideoElement on MDN](https://developer.mozilla.org/docs/Web/API/HTMLVideoElement)
|
|
9012
|
-
*/
|
|
9013
|
-
@editor.completeFrom(HTMLVideoElement)
|
|
9014
|
-
type htmlVideoElement = {
|
|
9015
|
-
...htmlMediaElement,
|
|
9016
|
-
/**
|
|
9017
|
-
Gets or sets the width of the video element.
|
|
9018
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLVideoElement/width)
|
|
9019
|
-
*/
|
|
9020
|
-
mutable width: int,
|
|
9021
|
-
/**
|
|
9022
|
-
Gets or sets the height of the video element.
|
|
9023
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLVideoElement/height)
|
|
9024
|
-
*/
|
|
9025
|
-
mutable height: int,
|
|
9026
|
-
/**
|
|
9027
|
-
Gets the intrinsic width of a video in CSS pixels, or zero if the dimensions are not known.
|
|
9028
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLVideoElement/videoWidth)
|
|
9029
|
-
*/
|
|
9030
|
-
videoWidth: int,
|
|
9031
|
-
/**
|
|
9032
|
-
Gets the intrinsic height of a video in CSS pixels, or zero if the dimensions are not known.
|
|
9033
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLVideoElement/videoHeight)
|
|
9034
|
-
*/
|
|
9035
|
-
videoHeight: int,
|
|
9036
|
-
/**
|
|
9037
|
-
Gets or sets a URL of an image to display, for example, like a movie poster. This can be a still frame from the video, or another image if no video data is available.
|
|
9038
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLVideoElement/poster)
|
|
9039
|
-
*/
|
|
9040
|
-
mutable poster: string,
|
|
9041
|
-
/**
|
|
9042
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLVideoElement/disablePictureInPicture)
|
|
9043
|
-
*/
|
|
9044
|
-
mutable disablePictureInPicture: bool,
|
|
9045
|
-
}
|
|
9046
|
-
|
|
9047
|
-
/**
|
|
9048
|
-
[See AnimationEffect on MDN](https://developer.mozilla.org/docs/Web/API/AnimationEffect)
|
|
9049
|
-
*/
|
|
9050
|
-
@editor.completeFrom(AnimationEffect)
|
|
9051
|
-
type animationEffect = {}
|
|
9052
|
-
|
|
9053
|
-
/**
|
|
9054
|
-
This interface is a compiled XPath expression that can be evaluated on a document or specific node to return information its DOM tree.
|
|
9055
|
-
[See XPathExpression on MDN](https://developer.mozilla.org/docs/Web/API/XPathExpression)
|
|
9056
|
-
*/
|
|
9057
|
-
@editor.completeFrom(XPathExpression)
|
|
9058
|
-
type xPathExpression = {}
|
|
9059
|
-
|
|
9060
|
-
/**
|
|
9061
|
-
The results generated by evaluating an XPath expression within the context of a given node.
|
|
9062
|
-
[See XPathResult on MDN](https://developer.mozilla.org/docs/Web/API/XPathResult)
|
|
9063
|
-
*/
|
|
9064
|
-
@editor.completeFrom(XPathResult)
|
|
9065
|
-
type xPathResult = {
|
|
9066
|
-
/**
|
|
9067
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/XPathResult/resultType)
|
|
9068
|
-
*/
|
|
9069
|
-
resultType: int,
|
|
9070
|
-
/**
|
|
9071
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/XPathResult/numberValue)
|
|
9072
|
-
*/
|
|
9073
|
-
numberValue: float,
|
|
9074
|
-
/**
|
|
9075
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/XPathResult/stringValue)
|
|
9076
|
-
*/
|
|
9077
|
-
stringValue: string,
|
|
9078
|
-
/**
|
|
9079
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/XPathResult/booleanValue)
|
|
9080
|
-
*/
|
|
9081
|
-
booleanValue: bool,
|
|
9082
|
-
/**
|
|
9083
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/XPathResult/singleNodeValue)
|
|
9084
|
-
*/
|
|
9085
|
-
singleNodeValue: Null.t<node>,
|
|
9086
|
-
/**
|
|
9087
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/XPathResult/invalidIteratorState)
|
|
9088
|
-
*/
|
|
9089
|
-
invalidIteratorState: bool,
|
|
9090
|
-
/**
|
|
9091
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/XPathResult/snapshotLength)
|
|
9092
|
-
*/
|
|
9093
|
-
snapshotLength: int,
|
|
9094
|
-
}
|
|
9095
|
-
|
|
9096
|
-
/**
|
|
9097
|
-
Used for attributes of type SVGPreserveAspectRatio which can be animated.
|
|
9098
|
-
[See SVGAnimatedPreserveAspectRatio on MDN](https://developer.mozilla.org/docs/Web/API/SVGAnimatedPreserveAspectRatio)
|
|
9099
|
-
*/
|
|
9100
|
-
type svgAnimatedPreserveAspectRatio = {}
|
|
9101
|
-
|
|
9102
|
-
/**
|
|
9103
|
-
Correspond to the <length> basic data type.
|
|
9104
|
-
[See SVGLength on MDN](https://developer.mozilla.org/docs/Web/API/SVGLength)
|
|
9105
|
-
*/
|
|
9106
|
-
@editor.completeFrom(SVGLength)
|
|
9107
|
-
type svgLength = {}
|
|
9108
|
-
|
|
9109
|
-
/**
|
|
9110
|
-
Used for attributes of basic type <length> which can be animated.
|
|
9111
|
-
[See SVGAnimatedLength on MDN](https://developer.mozilla.org/docs/Web/API/SVGAnimatedLength)
|
|
9112
|
-
*/
|
|
9113
|
-
type svgAnimatedLength = {
|
|
9114
|
-
/**
|
|
9115
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/SVGAnimatedLength/baseVal)
|
|
9116
|
-
*/
|
|
9117
|
-
baseVal: svgLength,
|
|
9118
|
-
/**
|
|
9119
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/SVGAnimatedLength/animVal)
|
|
9120
|
-
*/
|
|
9121
|
-
animVal: svgLength,
|
|
9122
|
-
}
|
|
9123
|
-
|
|
9124
|
-
/**
|
|
9125
|
-
All of the SVG DOM interfaces that correspond directly to elements in the SVG language derive from the SVGElement interface.
|
|
9126
|
-
[See SVGElement on MDN](https://developer.mozilla.org/docs/Web/API/SVGElement)
|
|
9127
|
-
*/
|
|
9128
|
-
type svgElement = {
|
|
9129
|
-
...element,
|
|
9130
|
-
/**
|
|
9131
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLElement/dataset)
|
|
9132
|
-
*/
|
|
9133
|
-
dataset: domStringMap,
|
|
9134
|
-
/**
|
|
9135
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLElement/nonce)
|
|
9136
|
-
*/
|
|
9137
|
-
mutable nonce?: string,
|
|
9138
|
-
/**
|
|
9139
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLElement/autofocus)
|
|
9140
|
-
*/
|
|
9141
|
-
mutable autofocus: bool,
|
|
9142
|
-
/**
|
|
9143
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLElement/tabIndex)
|
|
9144
|
-
*/
|
|
9145
|
-
mutable tabIndex: int,
|
|
9146
|
-
/**
|
|
9147
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLElement/style)
|
|
9148
|
-
*/
|
|
9149
|
-
style: cssStyleDeclaration,
|
|
9150
|
-
/**
|
|
9151
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLElement/attributeStyleMap)
|
|
9152
|
-
*/
|
|
9153
|
-
attributeStyleMap: stylePropertyMap,
|
|
9154
|
-
}
|
|
9155
|
-
|
|
9156
|
-
/**
|
|
9157
|
-
SVG elements whose primary purpose is to directly render graphics into a group.
|
|
9158
|
-
[See SVGGraphicsElement on MDN](https://developer.mozilla.org/docs/Web/API/SVGGraphicsElement)
|
|
9159
|
-
*/
|
|
9160
|
-
@editor.completeFrom(SVGGraphicsElement)
|
|
9161
|
-
type svgGraphicsElement = {
|
|
9162
|
-
...svgElement,
|
|
9163
|
-
}
|
|
9164
|
-
|
|
9165
|
-
/**
|
|
9166
|
-
Corresponds to the <image> element.
|
|
9167
|
-
[See SVGImageElement on MDN](https://developer.mozilla.org/docs/Web/API/SVGImageElement)
|
|
9168
|
-
*/
|
|
9169
|
-
type svgImageElement = {
|
|
9170
|
-
...svgGraphicsElement,
|
|
9171
|
-
/**
|
|
9172
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/SVGImageElement/x)
|
|
9173
|
-
*/
|
|
9174
|
-
x: svgAnimatedLength,
|
|
9175
|
-
/**
|
|
9176
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/SVGImageElement/y)
|
|
9177
|
-
*/
|
|
9178
|
-
y: svgAnimatedLength,
|
|
9179
|
-
/**
|
|
9180
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/SVGImageElement/width)
|
|
9181
|
-
*/
|
|
9182
|
-
width: svgAnimatedLength,
|
|
9183
|
-
/**
|
|
9184
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/SVGImageElement/height)
|
|
9185
|
-
*/
|
|
9186
|
-
height: svgAnimatedLength,
|
|
9187
|
-
/**
|
|
9188
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/SVGImageElement/preserveAspectRatio)
|
|
9189
|
-
*/
|
|
9190
|
-
preserveAspectRatio: svgAnimatedPreserveAspectRatio,
|
|
9191
|
-
}
|
|
9192
|
-
|
|
9193
|
-
/**
|
|
9194
|
-
[See DOMMatrixReadOnly on MDN](https://developer.mozilla.org/docs/Web/API/DOMMatrixReadOnly)
|
|
9195
|
-
*/
|
|
9196
|
-
@editor.completeFrom(DOMMatrixReadOnly)
|
|
9197
|
-
type domMatrixReadOnly = {
|
|
9198
|
-
/**
|
|
9199
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/DOMMatrixReadOnly#instance_properties)
|
|
9200
|
-
*/
|
|
9201
|
-
a: float,
|
|
9202
|
-
/**
|
|
9203
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/DOMMatrixReadOnly#instance_properties)
|
|
9204
|
-
*/
|
|
9205
|
-
b: float,
|
|
9206
|
-
/**
|
|
9207
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/DOMMatrixReadOnly#instance_properties)
|
|
9208
|
-
*/
|
|
9209
|
-
c: float,
|
|
9210
|
-
/**
|
|
9211
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/DOMMatrixReadOnly#instance_properties)
|
|
9212
|
-
*/
|
|
9213
|
-
d: float,
|
|
9214
|
-
/**
|
|
9215
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/DOMMatrixReadOnly#instance_properties)
|
|
9216
|
-
*/
|
|
9217
|
-
e: float,
|
|
9218
|
-
/**
|
|
9219
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/DOMMatrixReadOnly#instance_properties)
|
|
9220
|
-
*/
|
|
9221
|
-
f: float,
|
|
9222
|
-
/**
|
|
9223
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/DOMMatrixReadOnly#instance_properties)
|
|
9224
|
-
*/
|
|
9225
|
-
m11: float,
|
|
9226
|
-
/**
|
|
9227
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/DOMMatrixReadOnly#instance_properties)
|
|
9228
|
-
*/
|
|
9229
|
-
m12: float,
|
|
9230
|
-
/**
|
|
9231
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/DOMMatrixReadOnly#instance_properties)
|
|
9232
|
-
*/
|
|
9233
|
-
m13: float,
|
|
9234
|
-
/**
|
|
9235
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/DOMMatrixReadOnly#instance_properties)
|
|
9236
|
-
*/
|
|
9237
|
-
m14: float,
|
|
9238
|
-
/**
|
|
9239
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/DOMMatrixReadOnly#instance_properties)
|
|
9240
|
-
*/
|
|
9241
|
-
m21: float,
|
|
9242
|
-
/**
|
|
9243
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/DOMMatrixReadOnly#instance_properties)
|
|
9244
|
-
*/
|
|
9245
|
-
m22: float,
|
|
9246
|
-
/**
|
|
9247
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/DOMMatrixReadOnly#instance_properties)
|
|
9248
|
-
*/
|
|
9249
|
-
m23: float,
|
|
9250
|
-
/**
|
|
9251
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/DOMMatrixReadOnly#instance_properties)
|
|
9252
|
-
*/
|
|
9253
|
-
m24: float,
|
|
9254
|
-
/**
|
|
9255
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/DOMMatrixReadOnly#instance_properties)
|
|
9256
|
-
*/
|
|
9257
|
-
m31: float,
|
|
9258
|
-
/**
|
|
9259
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/DOMMatrixReadOnly#instance_properties)
|
|
9260
|
-
*/
|
|
9261
|
-
m32: float,
|
|
9262
|
-
/**
|
|
9263
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/DOMMatrixReadOnly#instance_properties)
|
|
9264
|
-
*/
|
|
9265
|
-
m33: float,
|
|
9266
|
-
/**
|
|
9267
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/DOMMatrixReadOnly#instance_properties)
|
|
9268
|
-
*/
|
|
9269
|
-
m34: float,
|
|
9270
|
-
/**
|
|
9271
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/DOMMatrixReadOnly#instance_properties)
|
|
9272
|
-
*/
|
|
9273
|
-
m41: float,
|
|
9274
|
-
/**
|
|
9275
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/DOMMatrixReadOnly#instance_properties)
|
|
9276
|
-
*/
|
|
9277
|
-
m42: float,
|
|
9278
|
-
/**
|
|
9279
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/DOMMatrixReadOnly#instance_properties)
|
|
9280
|
-
*/
|
|
9281
|
-
m43: float,
|
|
9282
|
-
/**
|
|
9283
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/DOMMatrixReadOnly#instance_properties)
|
|
9284
|
-
*/
|
|
9285
|
-
m44: float,
|
|
9286
|
-
}
|
|
9287
|
-
|
|
9288
|
-
/**
|
|
9289
|
-
[See DOMMatrix on MDN](https://developer.mozilla.org/docs/Web/API/DOMMatrix)
|
|
9290
|
-
*/
|
|
9291
|
-
@editor.completeFrom(DOMMatrix)
|
|
9292
|
-
type domMatrix = {
|
|
9293
|
-
...domMatrixReadOnly,
|
|
9294
|
-
}
|
|
9295
|
-
|
|
9296
|
-
/**
|
|
9297
|
-
[See VideoColorSpace on MDN](https://developer.mozilla.org/docs/Web/API/VideoColorSpace)
|
|
9298
|
-
*/
|
|
9299
|
-
@editor.completeFrom(VideoColorSpace)
|
|
9300
|
-
type videoColorSpace = {
|
|
9301
|
-
/**
|
|
9302
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/VideoColorSpace/primaries)
|
|
9303
|
-
*/
|
|
9304
|
-
primaries: Null.t<videoColorPrimaries>,
|
|
9305
|
-
/**
|
|
9306
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/VideoColorSpace/transfer)
|
|
9307
|
-
*/
|
|
9308
|
-
transfer: Null.t<videoTransferCharacteristics>,
|
|
9309
|
-
/**
|
|
9310
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/VideoColorSpace/matrix)
|
|
9311
|
-
*/
|
|
9312
|
-
matrix: Null.t<videoMatrixCoefficients>,
|
|
9313
|
-
/**
|
|
9314
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/VideoColorSpace/fullRange)
|
|
9315
|
-
*/
|
|
9316
|
-
fullRange: Null.t<bool>,
|
|
9317
|
-
}
|
|
9318
|
-
|
|
9319
|
-
/**
|
|
9320
|
-
[See VideoFrame on MDN](https://developer.mozilla.org/docs/Web/API/VideoFrame)
|
|
9321
|
-
*/
|
|
9322
|
-
@editor.completeFrom(VideoFrame)
|
|
9323
|
-
type videoFrame = {
|
|
9324
|
-
/**
|
|
9325
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/VideoFrame/format)
|
|
9326
|
-
*/
|
|
9327
|
-
format: Null.t<videoPixelFormat>,
|
|
9328
|
-
/**
|
|
9329
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/VideoFrame/codedWidth)
|
|
9330
|
-
*/
|
|
9331
|
-
codedWidth: int,
|
|
9332
|
-
/**
|
|
9333
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/VideoFrame/codedHeight)
|
|
9334
|
-
*/
|
|
9335
|
-
codedHeight: int,
|
|
9336
|
-
/**
|
|
9337
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/VideoFrame/codedRect)
|
|
9338
|
-
*/
|
|
9339
|
-
codedRect: Null.t<domRectReadOnly>,
|
|
9340
|
-
/**
|
|
9341
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/VideoFrame/visibleRect)
|
|
9342
|
-
*/
|
|
9343
|
-
visibleRect: Null.t<domRectReadOnly>,
|
|
9344
|
-
/**
|
|
9345
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/VideoFrame/displayWidth)
|
|
9346
|
-
*/
|
|
9347
|
-
displayWidth: int,
|
|
9348
|
-
/**
|
|
9349
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/VideoFrame/displayHeight)
|
|
9350
|
-
*/
|
|
9351
|
-
displayHeight: int,
|
|
9352
|
-
/**
|
|
9353
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/VideoFrame/duration)
|
|
9354
|
-
*/
|
|
9355
|
-
duration: Null.t<int>,
|
|
9356
|
-
/**
|
|
9357
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/VideoFrame/timestamp)
|
|
9358
|
-
*/
|
|
9359
|
-
timestamp: int,
|
|
9360
|
-
/**
|
|
9361
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/VideoFrame/colorSpace)
|
|
9362
|
-
*/
|
|
9363
|
-
colorSpace: videoColorSpace,
|
|
9364
|
-
}
|
|
9365
|
-
|
|
9366
|
-
/**
|
|
9367
|
-
The underlying pixel data of an area of a <canvas> element. It is created using the ImageData() constructor or creator methods on the CanvasRenderingContext2D object associated with a canvas: createImageData() and getImageData(). It can also be used to set a part of the canvas by using putImageData().
|
|
9368
|
-
[See ImageData on MDN](https://developer.mozilla.org/docs/Web/API/ImageData)
|
|
9369
|
-
*/
|
|
9370
|
-
@editor.completeFrom(ImageData)
|
|
9371
|
-
type imageData = {
|
|
9372
|
-
/**
|
|
9373
|
-
Returns the actual dimensions of the data in the ImageData object, in pixels.
|
|
9374
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/ImageData/width)
|
|
9375
|
-
*/
|
|
9376
|
-
width: int,
|
|
9377
|
-
/**
|
|
9378
|
-
Returns the actual dimensions of the data in the ImageData object, in pixels.
|
|
9379
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/ImageData/height)
|
|
9380
|
-
*/
|
|
9381
|
-
height: int,
|
|
9382
|
-
/**
|
|
9383
|
-
Returns the one-dimensional array containing the data in RGBA order, as integers in the range 0 to 255.
|
|
9384
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/ImageData/data)
|
|
9385
|
-
*/
|
|
9386
|
-
data: Uint8ClampedArray.t,
|
|
9387
|
-
/**
|
|
9388
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/ImageData/colorSpace)
|
|
9389
|
-
*/
|
|
9390
|
-
colorSpace: predefinedColorSpace,
|
|
9391
|
-
}
|
|
9392
|
-
|
|
9393
|
-
/**
|
|
9394
|
-
[See DOMPointReadOnly on MDN](https://developer.mozilla.org/docs/Web/API/DOMPointReadOnly)
|
|
9395
|
-
*/
|
|
9396
|
-
@editor.completeFrom(DOMPointReadOnly)
|
|
9397
|
-
type domPointReadOnly = {
|
|
9398
|
-
/**
|
|
9399
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/DOMPointReadOnly/x)
|
|
9400
|
-
*/
|
|
9401
|
-
x: float,
|
|
9402
|
-
/**
|
|
9403
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/DOMPointReadOnly/y)
|
|
9404
|
-
*/
|
|
9405
|
-
y: float,
|
|
9406
|
-
/**
|
|
9407
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/DOMPointReadOnly/z)
|
|
9408
|
-
*/
|
|
9409
|
-
z: float,
|
|
9410
|
-
/**
|
|
9411
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/DOMPointReadOnly/w)
|
|
9412
|
-
*/
|
|
9413
|
-
w: float,
|
|
9414
|
-
}
|
|
9415
|
-
|
|
9416
|
-
/**
|
|
9417
|
-
[See DOMPoint on MDN](https://developer.mozilla.org/docs/Web/API/DOMPoint)
|
|
9418
|
-
*/
|
|
9419
|
-
@editor.completeFrom(DOMPoint)
|
|
9420
|
-
type domPoint = {
|
|
9421
|
-
...domPointReadOnly,
|
|
9422
|
-
}
|
|
9423
|
-
|
|
9424
|
-
/**
|
|
9425
|
-
[Read more on MDN](https://developer.mozilla.org/en-US/docs/Web/API/HTMLCanvasElement/getContext#contextattributes)
|
|
9426
|
-
*/
|
|
9427
|
-
type canvasContext2DAttributes = {
|
|
9428
|
-
alpha: bool,
|
|
9429
|
-
colorspace?: predefinedColorSpace,
|
|
9430
|
-
desynchronized: bool,
|
|
9431
|
-
willReadFrequently: bool,
|
|
9432
|
-
}
|
|
9433
|
-
|
|
9434
|
-
/**
|
|
9435
|
-
The CanvasRenderingContext2D interface, part of the Canvas API, provides the 2D rendering context for the drawing surface of a <canvas> element. It is used for drawing shapes, text, images, and other objects.
|
|
9436
|
-
[See CanvasRenderingContext2D on MDN](https://developer.mozilla.org/docs/Web/API/CanvasRenderingContext2D)
|
|
9437
|
-
*/
|
|
9438
|
-
@editor.completeFrom(CanvasRenderingContext2D)
|
|
9439
|
-
type canvasRenderingContext2D = {
|
|
9440
|
-
/**
|
|
9441
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/CanvasRenderingContext2D/canvas)
|
|
9442
|
-
*/
|
|
9443
|
-
canvas: htmlCanvasElement,
|
|
9444
|
-
/**
|
|
9445
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/CanvasRenderingContext2D/globalAlpha)
|
|
9446
|
-
*/
|
|
9447
|
-
mutable globalAlpha: float,
|
|
9448
|
-
/**
|
|
9449
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/CanvasRenderingContext2D/globalCompositeOperation)
|
|
9450
|
-
*/
|
|
9451
|
-
mutable globalCompositeOperation: globalCompositeOperation,
|
|
9452
|
-
/**
|
|
9453
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/CanvasRenderingContext2D/imageSmoothingEnabled)
|
|
9454
|
-
*/
|
|
9455
|
-
mutable imageSmoothingEnabled: bool,
|
|
9456
|
-
/**
|
|
9457
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/CanvasRenderingContext2D/imageSmoothingQuality)
|
|
9458
|
-
*/
|
|
9459
|
-
mutable imageSmoothingQuality: imageSmoothingQuality,
|
|
9460
|
-
/**
|
|
9461
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/CanvasRenderingContext2D/strokeStyle)
|
|
9462
|
-
*/
|
|
9463
|
-
mutable strokeStyle: fillStyle,
|
|
9464
|
-
/**
|
|
9465
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/CanvasRenderingContext2D/fillStyle)
|
|
9466
|
-
*/
|
|
9467
|
-
mutable fillStyle: fillStyle,
|
|
9468
|
-
/**
|
|
9469
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/CanvasRenderingContext2D/shadowOffsetX)
|
|
9470
|
-
*/
|
|
9471
|
-
mutable shadowOffsetX: float,
|
|
9472
|
-
/**
|
|
9473
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/CanvasRenderingContext2D/shadowOffsetY)
|
|
9474
|
-
*/
|
|
9475
|
-
mutable shadowOffsetY: float,
|
|
9476
|
-
/**
|
|
9477
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/CanvasRenderingContext2D/shadowBlur)
|
|
9478
|
-
*/
|
|
9479
|
-
mutable shadowBlur: float,
|
|
9480
|
-
/**
|
|
9481
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/CanvasRenderingContext2D/shadowColor)
|
|
9482
|
-
*/
|
|
9483
|
-
mutable shadowColor: string,
|
|
9484
|
-
/**
|
|
9485
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/CanvasRenderingContext2D/filter)
|
|
9486
|
-
*/
|
|
9487
|
-
mutable filter: string,
|
|
9488
|
-
/**
|
|
9489
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/CanvasRenderingContext2D/lineWidth)
|
|
9490
|
-
*/
|
|
9491
|
-
mutable lineWidth: float,
|
|
9492
|
-
/**
|
|
9493
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/CanvasRenderingContext2D/lineCap)
|
|
9494
|
-
*/
|
|
9495
|
-
mutable lineCap: canvasLineCap,
|
|
9496
|
-
/**
|
|
9497
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/CanvasRenderingContext2D/lineJoin)
|
|
9498
|
-
*/
|
|
9499
|
-
mutable lineJoin: canvasLineJoin,
|
|
9500
|
-
/**
|
|
9501
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/CanvasRenderingContext2D/miterLimit)
|
|
9502
|
-
*/
|
|
9503
|
-
mutable miterLimit: float,
|
|
9504
|
-
/**
|
|
9505
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/CanvasRenderingContext2D/lineDashOffset)
|
|
9506
|
-
*/
|
|
9507
|
-
mutable lineDashOffset: float,
|
|
9508
|
-
/**
|
|
9509
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/CanvasRenderingContext2D/font)
|
|
9510
|
-
*/
|
|
9511
|
-
mutable font: string,
|
|
9512
|
-
/**
|
|
9513
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/CanvasRenderingContext2D/textAlign)
|
|
9514
|
-
*/
|
|
9515
|
-
mutable textAlign: canvasTextAlign,
|
|
9516
|
-
/**
|
|
9517
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/CanvasRenderingContext2D/textBaseline)
|
|
9518
|
-
*/
|
|
9519
|
-
mutable textBaseline: canvasTextBaseline,
|
|
9520
|
-
/**
|
|
9521
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/CanvasRenderingContext2D/direction)
|
|
9522
|
-
*/
|
|
9523
|
-
mutable direction: canvasDirection,
|
|
9524
|
-
/**
|
|
9525
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/CanvasRenderingContext2D/letterSpacing)
|
|
9526
|
-
*/
|
|
9527
|
-
mutable letterSpacing: string,
|
|
9528
|
-
/**
|
|
9529
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/CanvasRenderingContext2D/fontKerning)
|
|
9530
|
-
*/
|
|
9531
|
-
mutable fontKerning: canvasFontKerning,
|
|
9532
|
-
/**
|
|
9533
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/CanvasRenderingContext2D/fontStretch)
|
|
9534
|
-
*/
|
|
9535
|
-
mutable fontStretch: canvasFontStretch,
|
|
9536
|
-
/**
|
|
9537
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/CanvasRenderingContext2D/fontVariantCaps)
|
|
9538
|
-
*/
|
|
9539
|
-
mutable fontVariantCaps: canvasFontVariantCaps,
|
|
9540
|
-
/**
|
|
9541
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/CanvasRenderingContext2D/textRendering)
|
|
9542
|
-
*/
|
|
9543
|
-
mutable textRendering: canvasTextRendering,
|
|
9544
|
-
/**
|
|
9545
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/CanvasRenderingContext2D/wordSpacing)
|
|
9546
|
-
*/
|
|
9547
|
-
mutable wordSpacing: string,
|
|
9548
|
-
}
|
|
9549
|
-
|
|
9550
|
-
/**
|
|
9551
|
-
[See Animation on MDN](https://developer.mozilla.org/docs/Web/API/Animation)
|
|
9552
|
-
*/
|
|
9553
|
-
@editor.completeFrom(Animation)
|
|
9554
|
-
type rec animation = {
|
|
9555
|
-
...eventTarget,
|
|
9556
|
-
/**
|
|
9557
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Animation/id)
|
|
9558
|
-
*/
|
|
9559
|
-
mutable id: string,
|
|
9560
|
-
/**
|
|
9561
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Animation/effect)
|
|
9562
|
-
*/
|
|
9563
|
-
mutable effect: Null.t<animationEffect>,
|
|
9564
|
-
/**
|
|
9565
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Animation/timeline)
|
|
9566
|
-
*/
|
|
9567
|
-
mutable timeline: Null.t<animationTimeline>,
|
|
9568
|
-
/**
|
|
9569
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Animation/playbackRate)
|
|
9570
|
-
*/
|
|
9571
|
-
mutable playbackRate: float,
|
|
9572
|
-
/**
|
|
9573
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Animation/playState)
|
|
9574
|
-
*/
|
|
9575
|
-
playState: animationPlayState,
|
|
9576
|
-
/**
|
|
9577
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Animation/replaceState)
|
|
9578
|
-
*/
|
|
9579
|
-
replaceState: animationReplaceState,
|
|
9580
|
-
/**
|
|
9581
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Animation/pending)
|
|
9582
|
-
*/
|
|
9583
|
-
pending: bool,
|
|
9584
|
-
/**
|
|
9585
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Animation/ready)
|
|
9586
|
-
*/
|
|
9587
|
-
ready: promise<animation>,
|
|
9588
|
-
/**
|
|
9589
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Animation/finished)
|
|
9590
|
-
*/
|
|
9591
|
-
finished: promise<animation>,
|
|
9592
|
-
/**
|
|
9593
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Animation/startTime)
|
|
9594
|
-
*/
|
|
9595
|
-
mutable startTime: Null.t<float>,
|
|
9596
|
-
/**
|
|
9597
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Animation/currentTime)
|
|
9598
|
-
*/
|
|
9599
|
-
mutable currentTime: Null.t<float>,
|
|
9600
|
-
}
|
|
9601
|
-
|
|
9602
|
-
type elementDefinitionOptions = {mutable extends?: string}
|
|
9603
|
-
|
|
9604
|
-
type documentTimelineOptions = {mutable originTime?: float}
|
|
9605
|
-
|
|
9606
|
-
type getRootNodeOptions = {mutable composed?: bool}
|
|
9607
|
-
|
|
9608
|
-
type shadowRootInit = {
|
|
9609
|
-
mutable mode: shadowRootMode,
|
|
9610
|
-
mutable delegatesFocus?: bool,
|
|
9611
|
-
mutable slotAssignment?: slotAssignmentMode,
|
|
9612
|
-
mutable serializable?: bool,
|
|
9613
|
-
}
|
|
9614
|
-
|
|
9615
|
-
type checkVisibilityOptions = {
|
|
9616
|
-
mutable checkOpacity?: bool,
|
|
9617
|
-
mutable checkVisibilityCSS?: bool,
|
|
9618
|
-
mutable contentVisibilityAuto?: bool,
|
|
9619
|
-
mutable opacityProperty?: bool,
|
|
9620
|
-
mutable visibilityProperty?: bool,
|
|
9621
|
-
}
|
|
9622
|
-
|
|
9623
|
-
type scrollOptions = {mutable behavior?: scrollBehavior}
|
|
9624
|
-
|
|
9625
|
-
type scrollToOptions = {
|
|
9626
|
-
...scrollOptions,
|
|
9627
|
-
mutable left?: float,
|
|
9628
|
-
mutable top?: float,
|
|
9629
|
-
}
|
|
9630
|
-
|
|
9631
|
-
type fullscreenOptions = {mutable navigationUI?: fullscreenNavigationUI}
|
|
9632
|
-
|
|
9633
|
-
type getHTMLOptions = {
|
|
9634
|
-
mutable serializableShadowRoots?: bool,
|
|
9635
|
-
mutable shadowRoots?: array<shadowRoot>,
|
|
9636
|
-
}
|
|
9637
|
-
|
|
9638
|
-
type pointerLockOptions = {mutable unadjustedMovement?: bool}
|
|
9639
|
-
|
|
9640
|
-
type caretPositionFromPointOptions = {mutable shadowRoots?: array<shadowRoot>}
|
|
9641
|
-
|
|
9642
|
-
type idleRequestOptions = {mutable timeout?: int}
|
|
9643
|
-
|
|
9644
|
-
type domRectInit = {
|
|
9645
|
-
mutable x?: float,
|
|
9646
|
-
mutable y?: float,
|
|
9647
|
-
mutable width?: float,
|
|
9648
|
-
mutable height?: float,
|
|
9649
|
-
}
|
|
9650
|
-
|
|
9651
|
-
type validityStateFlags = {
|
|
9652
|
-
mutable valueMissing?: bool,
|
|
9653
|
-
mutable typeMismatch?: bool,
|
|
9654
|
-
mutable patternMismatch?: bool,
|
|
9655
|
-
mutable tooLong?: bool,
|
|
9656
|
-
mutable tooShort?: bool,
|
|
9657
|
-
mutable rangeUnderflow?: bool,
|
|
9658
|
-
mutable rangeOverflow?: bool,
|
|
9659
|
-
mutable stepMismatch?: bool,
|
|
9660
|
-
mutable badInput?: bool,
|
|
9661
|
-
mutable customError?: bool,
|
|
9662
|
-
}
|
|
9663
|
-
|
|
9664
|
-
type cssStyleSheetInit = {
|
|
9665
|
-
mutable baseURL?: string,
|
|
9666
|
-
mutable media?: unknown,
|
|
9667
|
-
mutable disabled?: bool,
|
|
9668
|
-
}
|
|
9669
|
-
|
|
9670
|
-
type videoFrameCallbackMetadata = {
|
|
9671
|
-
mutable presentationTime: float,
|
|
9672
|
-
mutable expectedDisplayTime: float,
|
|
9673
|
-
mutable width: int,
|
|
9674
|
-
mutable height: int,
|
|
9675
|
-
mutable mediaTime: float,
|
|
9676
|
-
mutable presentedFrames: int,
|
|
9677
|
-
mutable processingDuration?: float,
|
|
9678
|
-
mutable captureTime?: float,
|
|
9679
|
-
mutable receiveTime?: float,
|
|
9680
|
-
mutable rtpTimestamp?: int,
|
|
9681
|
-
}
|
|
9682
|
-
|
|
9683
|
-
type assignedNodesOptions = {mutable flatten?: bool}
|
|
9684
|
-
|
|
9685
|
-
type focusOptions = {mutable preventScroll?: bool}
|
|
9686
|
-
|
|
9687
|
-
type effectTiming = {
|
|
9688
|
-
mutable fill?: fillMode,
|
|
9689
|
-
mutable iterationStart?: float,
|
|
9690
|
-
mutable iterations?: float,
|
|
9691
|
-
mutable direction?: playbackDirection,
|
|
9692
|
-
mutable easing?: string,
|
|
9693
|
-
mutable delay?: float,
|
|
9694
|
-
mutable endDelay?: float,
|
|
9695
|
-
mutable playbackRate?: float,
|
|
9696
|
-
mutable duration?: unknown,
|
|
9697
|
-
}
|
|
9698
|
-
|
|
9699
|
-
type getAnimationsOptions = {mutable subtree?: bool}
|
|
9700
|
-
|
|
9701
|
-
type computedEffectTiming = {
|
|
9702
|
-
...effectTiming,
|
|
9703
|
-
mutable progress?: Null.t<float>,
|
|
9704
|
-
mutable currentIteration?: Null.t<float>,
|
|
9705
|
-
mutable startTime?: float,
|
|
9706
|
-
mutable endTime?: float,
|
|
9707
|
-
mutable activeDuration?: float,
|
|
9708
|
-
mutable localTime?: Null.t<float>,
|
|
9709
|
-
}
|
|
9710
|
-
|
|
9711
|
-
type optionalEffectTiming = {
|
|
9712
|
-
mutable delay?: float,
|
|
9713
|
-
mutable endDelay?: float,
|
|
9714
|
-
mutable fill?: fillMode,
|
|
9715
|
-
mutable iterationStart?: float,
|
|
9716
|
-
mutable iterations?: float,
|
|
9717
|
-
mutable duration?: unknown,
|
|
9718
|
-
mutable direction?: playbackDirection,
|
|
9719
|
-
mutable easing?: string,
|
|
9720
|
-
mutable playbackRate?: float,
|
|
9721
|
-
}
|
|
9722
|
-
|
|
9723
|
-
type imageBitmapOptions = {
|
|
9724
|
-
mutable imageOrientation?: imageOrientation,
|
|
9725
|
-
mutable premultiplyAlpha?: premultiplyAlpha,
|
|
9726
|
-
mutable colorSpaceConversion?: colorSpaceConversion,
|
|
9727
|
-
mutable resizeWidth?: int,
|
|
9728
|
-
mutable resizeHeight?: int,
|
|
9729
|
-
mutable resizeQuality?: resizeQuality,
|
|
9730
|
-
}
|
|
9731
|
-
|
|
9732
|
-
type scrollIntoViewOptions = {
|
|
9733
|
-
...scrollOptions,
|
|
9734
|
-
mutable block?: scrollLogicalPosition,
|
|
9735
|
-
mutable inline?: scrollLogicalPosition,
|
|
9736
|
-
}
|
|
9737
|
-
|
|
9738
|
-
type windowPostMessageOptions = {
|
|
9739
|
-
...structuredSerializeOptions,
|
|
9740
|
-
mutable targetOrigin?: string,
|
|
9741
|
-
}
|
|
9742
|
-
|
|
9743
|
-
type keyframeEffectOptions = {
|
|
9744
|
-
...effectTiming,
|
|
9745
|
-
mutable composite?: compositeOperation,
|
|
9746
|
-
mutable pseudoElement?: Null.t<string>,
|
|
9747
|
-
mutable iterationComposite?: iterationCompositeOperation,
|
|
9748
|
-
}
|
|
9749
|
-
|
|
9750
|
-
type keyframeAnimationOptions = {
|
|
9751
|
-
...keyframeEffectOptions,
|
|
9752
|
-
mutable id?: string,
|
|
9753
|
-
mutable timeline?: Null.t<animationTimeline>,
|
|
9754
|
-
}
|
|
9755
|
-
|
|
9756
|
-
type elementCreationOptions = {mutable is?: string}
|
|
9757
|
-
|
|
9758
|
-
type svgBoundingBoxOptions = {
|
|
9759
|
-
mutable fill?: bool,
|
|
9760
|
-
mutable stroke?: bool,
|
|
9761
|
-
mutable markers?: bool,
|
|
9762
|
-
mutable clipped?: bool,
|
|
9763
|
-
}
|
|
9764
|
-
|
|
9765
|
-
type domMatrix2DInit = {
|
|
9766
|
-
mutable a?: float,
|
|
9767
|
-
mutable b?: float,
|
|
9768
|
-
mutable c?: float,
|
|
9769
|
-
mutable d?: float,
|
|
9770
|
-
mutable e?: float,
|
|
9771
|
-
mutable f?: float,
|
|
9772
|
-
mutable m11?: float,
|
|
9773
|
-
mutable m12?: float,
|
|
9774
|
-
mutable m21?: float,
|
|
9775
|
-
mutable m22?: float,
|
|
9776
|
-
mutable m41?: float,
|
|
9777
|
-
mutable m42?: float,
|
|
9778
|
-
}
|
|
9779
|
-
|
|
9780
|
-
type domMatrixInit = {
|
|
9781
|
-
...domMatrix2DInit,
|
|
9782
|
-
mutable m13?: float,
|
|
9783
|
-
mutable m14?: float,
|
|
9784
|
-
mutable m23?: float,
|
|
9785
|
-
mutable m24?: float,
|
|
9786
|
-
mutable m31?: float,
|
|
9787
|
-
mutable m32?: float,
|
|
9788
|
-
mutable m33?: float,
|
|
9789
|
-
mutable m34?: float,
|
|
9790
|
-
mutable m43?: float,
|
|
9791
|
-
mutable m44?: float,
|
|
9792
|
-
mutable is2D?: bool,
|
|
9793
|
-
}
|
|
9794
|
-
|
|
9795
|
-
type videoFrameInit = {
|
|
9796
|
-
mutable duration?: int,
|
|
9797
|
-
mutable timestamp?: int,
|
|
9798
|
-
mutable alpha?: alphaOption,
|
|
9799
|
-
mutable visibleRect?: domRectInit,
|
|
9800
|
-
mutable displayWidth?: int,
|
|
9801
|
-
mutable displayHeight?: int,
|
|
9802
|
-
}
|
|
9803
|
-
|
|
9804
|
-
type videoColorSpaceInit = {
|
|
9805
|
-
mutable primaries?: Null.t<videoColorPrimaries>,
|
|
9806
|
-
mutable transfer?: Null.t<videoTransferCharacteristics>,
|
|
9807
|
-
mutable matrix?: Null.t<videoMatrixCoefficients>,
|
|
9808
|
-
mutable fullRange?: Null.t<bool>,
|
|
9809
|
-
}
|
|
9810
|
-
|
|
9811
|
-
type planeLayout = {
|
|
9812
|
-
mutable offset: int,
|
|
9813
|
-
mutable stride: int,
|
|
9814
|
-
}
|
|
9815
|
-
|
|
9816
|
-
type videoFrameBufferInit = {
|
|
9817
|
-
mutable format: videoPixelFormat,
|
|
9818
|
-
mutable codedWidth: int,
|
|
9819
|
-
mutable codedHeight: int,
|
|
9820
|
-
mutable timestamp: int,
|
|
9821
|
-
mutable duration?: int,
|
|
9822
|
-
mutable layout?: array<planeLayout>,
|
|
9823
|
-
mutable visibleRect?: domRectInit,
|
|
9824
|
-
mutable displayWidth?: int,
|
|
9825
|
-
mutable displayHeight?: int,
|
|
9826
|
-
mutable colorSpace?: videoColorSpaceInit,
|
|
9827
|
-
}
|
|
9828
|
-
|
|
9829
|
-
type imageDataSettings = {mutable colorSpace?: predefinedColorSpace}
|
|
9830
|
-
|
|
9831
|
-
type videoFrameCopyToOptions = {
|
|
9832
|
-
mutable rect?: domRectInit,
|
|
9833
|
-
mutable layout?: array<planeLayout>,
|
|
9834
|
-
mutable format?: videoPixelFormat,
|
|
9835
|
-
mutable colorSpace?: predefinedColorSpace,
|
|
9836
|
-
}
|
|
9837
|
-
|
|
9838
|
-
type domPointInit = {
|
|
9839
|
-
mutable x?: float,
|
|
9840
|
-
mutable y?: float,
|
|
9841
|
-
mutable z?: float,
|
|
9842
|
-
mutable w?: float,
|
|
9843
|
-
}
|
|
9844
|
-
|
|
9845
|
-
type xPathNSResolver = any
|
|
9846
|
-
|
|
9847
|
-
type timerHandler = any
|
|
9848
|
-
|
|
9849
|
-
type voidFunction = unit => unit
|
|
9850
|
-
type imageBitmapSource = any
|
|
9851
|
-
|
|
9852
|
-
type customElementConstructor = htmlElement
|
|
9853
|
-
|
|
9854
|
-
type idleRequestCallback = idleDeadline => unit
|
|
9855
|
-
|
|
9856
|
-
type fileSystemEntriesCallback = array<fileSystemEntry> => unit
|
|
9857
|
-
|
|
9858
|
-
type blobCallback = blob => unit
|
|
9859
|
-
|
|
9860
|
-
type videoFrameRequestCallback = float => videoFrameCallbackMetadata => unit
|
|
9861
|
-
|
|
9862
|
-
type frameRequestCallback = float => unit
|
|
9863
|
-
|
|
9864
|
-
type timeoutId
|