diff options
| author | Moonchild <mcwerewolf@gmail.com> | 2018-04-23 11:45:04 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-04-23 11:45:04 +0200 |
| commit | 3b55277bc59d6bea5f61c164f9687ae242b88550 (patch) | |
| tree | 1e0a3ca438adc705be3618808e71bb6aa5f1e330 /dom/webidl/Document.webidl | |
| parent | d220a5e6aaa7410b8c62fd3f7f37e8fb853e5797 (diff) | |
| parent | 0a9acadccafe04aa5bc3335523bb55fe52ca8e50 (diff) | |
| download | UXP-3b55277bc59d6bea5f61c164f9687ae242b88550.tar UXP-3b55277bc59d6bea5f61c164f9687ae242b88550.tar.gz UXP-3b55277bc59d6bea5f61c164f9687ae242b88550.tar.lz UXP-3b55277bc59d6bea5f61c164f9687ae242b88550.tar.xz UXP-3b55277bc59d6bea5f61c164f9687ae242b88550.zip | |
Merge pull request #237 from janekptacijarabaci/js_dom_getSelection_document_1
moebius#121: DOM - Selection API - getSelection() should exist on XMLDocument / Selection.type
Diffstat (limited to 'dom/webidl/Document.webidl')
| -rw-r--r-- | dom/webidl/Document.webidl | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/dom/webidl/Document.webidl b/dom/webidl/Document.webidl index f05656e84..0b8c278fe 100644 --- a/dom/webidl/Document.webidl +++ b/dom/webidl/Document.webidl @@ -430,6 +430,12 @@ partial interface Document { void removeAnonymousContent(AnonymousContent aContent); }; +// http://w3c.github.io/selection-api/#extensions-to-document-interface +partial interface Document { + [Throws] + Selection? getSelection(); +}; + // Extension to give chrome JS the ability to determine whether // the user has interacted with the document or not. partial interface Document { |