diff options
| author | janekptacijarabaci <janekptacijarabaci@seznam.cz> | 2018-04-23 09:16:50 +0200 |
|---|---|---|
| committer | janekptacijarabaci <janekptacijarabaci@seznam.cz> | 2018-04-23 09:16:50 +0200 |
| commit | 0a9acadccafe04aa5bc3335523bb55fe52ca8e50 (patch) | |
| tree | ab49c5db5979719019b24c9086aa3701655702d5 /dom/webidl/Document.webidl | |
| parent | c30ebdac27c93b57e368c69e9c13055a17229992 (diff) | |
| download | UXP-0a9acadccafe04aa5bc3335523bb55fe52ca8e50.tar UXP-0a9acadccafe04aa5bc3335523bb55fe52ca8e50.tar.gz UXP-0a9acadccafe04aa5bc3335523bb55fe52ca8e50.tar.lz UXP-0a9acadccafe04aa5bc3335523bb55fe52ca8e50.tar.xz UXP-0a9acadccafe04aa5bc3335523bb55fe52ca8e50.zip | |
moebius#121: DOM - Selection API - getSelection() should exist on XMLDocument / Selection.type
https://github.com/MoonchildProductions/moebius/pull/121
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 { |