mirror of
https://github.com/servo/servo.git
synced 2025-08-03 20:50:07 +01:00
Rename the element field of the DOM Node hierarchy
Renamed htmlelement, and element Fixes #924
This commit is contained in:
parent
0ca4c19b57
commit
2dbd065d91
77 changed files with 347 additions and 312 deletions
|
@ -15,7 +15,7 @@ pub enum HeadingLevel {
|
|||
}
|
||||
|
||||
pub struct HTMLHeadingElement {
|
||||
parent: HTMLElement,
|
||||
htmlelement: HTMLElement,
|
||||
level: HeadingLevel,
|
||||
}
|
||||
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue