mirror of
https://github.com/mozilla/gecko-dev.git
synced 2024-10-22 01:35:35 +00:00
f4565ce2e7
MozReview-Commit-ID: GrwTPJYai6O --HG-- extra : rebase_source : 3f38b6696f8466929ae13dfb9635479e71ca4cfa
46 lines
1.3 KiB
Plaintext
46 lines
1.3 KiB
Plaintext
/* -*- 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);
|
|
};
|