Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Remove HTMLMainElement #2541

Closed
Ms2ger opened this issue Jun 1, 2014 · 0 comments
Closed

Remove HTMLMainElement #2541

Ms2ger opened this issue Jun 1, 2014 · 0 comments
Labels
A-content/dom Interacting with the DOM from web content E-less-complex Straightforward. Recommended for a new contributor. I-wrong An incorrect behaviour is observed.

Comments

@Ms2ger
Copy link
Contributor

Ms2ger commented Jun 1, 2014

Per spec, the main element should use the HTMLElement interface.
tetsuharuohzeki added a commit to tetsuharuohzeki/servo that referenced this issue Jun 1, 2014
@tetsuharuohzeki
Remove HTMLMainElement.
49362aa 
servo#2541
@tetsuharuohzeki tetsuharuohzeki mentioned this issue Jun 1, 2014
Closed
Ms2ger added a commit to Ms2ger/servo that referenced this issue Jun 6, 2014
@Ms2ger
Remove htmlmainelement.rs again (re-fixes servo#2541).
e997d0b
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
A-content/dom Interacting with the DOM from web content E-less-complex Straightforward. Recommended for a new contributor. I-wrong An incorrect behaviour is observed.
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Remove HTMLMainElement tetsuharuohzeki/servo
1 participant
@Ms2ger