Try to enable all webidls (#573)

* Try to enable all webidls

* Separate out unavailable webidl files by reason.

* Create record of fully tested WebIDL files

* Update notes to reflect new situation with web-idl

* Make a blank ident fail, disable the necessary widls.

It turns out that all the blank idents came from blank enum variants,
which is allowed in webidl apparently.
This commit is contained in:
Richard Dodd (dodj)
2018-07-30 00:07:19 +01:00
committed by Alex Crichton
parent b7af4e3169
commit 71255acf5d
599 changed files with 802 additions and 74 deletions

View File

@ -0,0 +1,45 @@
/* -*- Mode: IDL; tab-width: 2; indent-tabs-mode: nil; c-basic-offset: 2 -*- */
/* 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 http://mozilla.org/MPL/2.0/.
*/
[NoInterfaceObject]
interface ScrollBoxObject : BoxObject {
/**
* Scroll to the given coordinates, in css pixels.
* (0,0) will put the top left corner of the scrolled element's padding-box
* at the top left corner of the scrollport (which is its inner-border-box).
* Values will be clamped to legal values.
*/
[Throws]
void scrollTo(long x, long y);
/**
* Scroll the given amount of device pixels to the right and down.
* Values will be clamped to make the resuling position legal.
*/
[Throws]
void scrollBy(long dx, long dy);
[Throws]
void scrollByIndex(long dindexes);
[Throws]
void scrollToElement(Element child);
/**
* Get the current scroll position in css pixels.
* @see scrollTo for the definition of x and y.
*/
[Pure, Throws]
readonly attribute long positionX;
[Pure, Throws]
readonly attribute long positionY;
[Pure, Throws]
readonly attribute long scrolledWidth;
[Pure, Throws]
readonly attribute long scrolledHeight;
[Throws]
void ensureElementIsVisible(Element child);
};