Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-08-05 21:50:18 +01:00
Code Issues Projects Releases Packages Wiki Activity

Move WindowProxy declaration to the new WindowProxy.webidl file.

Browse source
This commit is contained in:
krk 2019-04-17 21:21:35 +02:00
parent 763fc8a1f2
commit e9560617b6
2 changed files with 7 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

3
components/script/dom/webidls/Window.webidl
View file

@ -72,9 +72,6 @@
Window implements GlobalEventHandlers;
Window implements WindowEventHandlers;
[NoInterfaceObject]
interface WindowProxy {};
// https://html.spec.whatwg.org/multipage/#Window-partial
partial interface Window {
void captureEvents();

7
components/script/dom/webidls/WindowProxy.webidl Normal file
View file

@ -0,0 +1,7 @@
/* This Source Code Form is subject to the terms of the Mozilla Public
* License, v. 2.0. If a copy of the MPL was not distributed with this
* file, You can obtain one at https://mozilla.org/MPL/2.0/. */
// https://html.spec.whatwg.org/multipage/#the-windowproxy-exotic-object
[NoInterfaceObject]
interface WindowProxy {};