mirror of
https://github.com/servo/servo.git
synced 2025-08-06 06:00:15 +01:00
Implement document.open and document.close (fixes #14591)
This commit is contained in:
parent
8c3abd6c79
commit
ac254046e4
52 changed files with 351 additions and 296 deletions
|
@ -111,9 +111,11 @@ partial /*sealed*/ interface Document {
|
|||
readonly attribute HTMLScriptElement? currentScript;
|
||||
|
||||
// dynamic markup insertion
|
||||
// Document open(optional DOMString type = "text/html", optional DOMString replace = "");
|
||||
[Throws]
|
||||
Document open(optional DOMString type = "text/html", optional DOMString replace = "");
|
||||
// WindowProxy open(DOMString url, DOMString name, DOMString features, optional boolean replace = false);
|
||||
// void close();
|
||||
[Throws]
|
||||
void close();
|
||||
[Throws]
|
||||
void write(DOMString... text);
|
||||
[Throws]
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue