diff options
| author | wolfbeast <mcwerewolf@gmail.com> | 2018-07-07 11:24:38 +0200 |
|---|---|---|
| committer | wolfbeast <mcwerewolf@gmail.com> | 2018-07-07 11:24:38 +0200 |
| commit | e9f79994278968cc86698a7d90e05ca01201c441 (patch) | |
| tree | 383e5af1c100504f9a3432d284d4238f0b1acdf6 /dom/webidl | |
| parent | 0daa12376295d5d796256a116eb2a348a3a9273f (diff) | |
| download | uxp-e9f79994278968cc86698a7d90e05ca01201c441.tar.gz | |
Make the page visibility API pref-controlled.
This resolves #607.
Diffstat (limited to 'dom/webidl')
| -rw-r--r-- | dom/webidl/Document.webidl | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/dom/webidl/Document.webidl b/dom/webidl/Document.webidl index 0b8c278fea..904b1fb779 100644 --- a/dom/webidl/Document.webidl +++ b/dom/webidl/Document.webidl @@ -277,8 +277,11 @@ partial interface Document { // https://w3c.github.io/page-visibility/#extensions-to-the-document-interface partial interface Document { + [Pref="dom.visibilityAPI.enabled"] readonly attribute boolean hidden; + [Pref="dom.visibilityAPI.enabled"] readonly attribute VisibilityState visibilityState; + [Pref="dom.visibilityAPI.enabled"] attribute EventHandler onvisibilitychange; }; |