moebius#121: DOM - Selection API - getSelection() should exist on XMLDocument / Selection.type

https://github.com/MoonchildProductions/moebius/pull/121
This commit is contained in:
janekptacijarabaci 2018-04-23 09:16:50 +02:00 • committed by Roy Tam
commit 9db39c42c0
10 changed files with 43 additions and 32 deletions

View file

@ -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 {