mirror of
https://github.com/servo/servo.git
synced 2025-08-07 22:45:34 +01:00
Embedder Prompt API
This commit is contained in:
parent
5f55cd5d71
commit
51f15a055e
17 changed files with 447 additions and 110 deletions
|
@ -55,8 +55,8 @@
|
|||
// user prompts
|
||||
void alert(DOMString message);
|
||||
void alert();
|
||||
//boolean confirm(optional DOMString message = "");
|
||||
//DOMString? prompt(optional DOMString message = "", optional DOMString default = "");
|
||||
boolean confirm(optional DOMString message = "");
|
||||
DOMString? prompt(optional DOMString message = "", optional DOMString default = "");
|
||||
//void print();
|
||||
//any showModalDialog(DOMString url, optional any argument);
|
||||
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue