Skip to content

Commit

Permalink
Move children from HTMLElement to Element
Browse files Browse the repository at this point in the history
  • Loading branch information
chkn authored Jan 18, 2024
1 parent f5567dc commit 54ab37d
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/Dom/Browser.Dom.fs
Original file line number Diff line number Diff line change
Expand Up @@ -426,6 +426,7 @@ type [<AllowNullLiteral; Global>] Element =
inherit GlobalEventHandlers
inherit NodeSelector
inherit ChildNode
abstract children: HTMLCollection with get, set
abstract classList: DOMTokenList with get, set
abstract clientHeight: float with get, set
abstract clientLeft: float with get, set
Expand Down Expand Up @@ -1394,7 +1395,6 @@ type [<AllowNullLiteral>] HTMLDocumentType =
type [<AllowNullLiteral; Global>] HTMLElement =
inherit Element
abstract accessKey: string with get, set
abstract children: HTMLCollection with get, set
abstract contentEditable: string with get, set
/// Sets or retrieves the URL that references the data of the object.
abstract dataset: DOMStringMap with get, set
Expand Down

0 comments on commit 54ab37d

Please sign in to comment.