mirror of
https://github.com/servo/servo.git
synced 2025-07-24 15:50:21 +01:00
Flatten and simplify Servo's preferences code. In addition, have both preferences and options passed in as arguments to `Servo::new()` and make sure not to use the globally set preferences in `servoshell` (as much as possible now). Instead of a complex procedural macro to generate preferences, just expose a very simple derive macro that adds string based getters and setters. - All command-line parsing is moved to servoshell. - There is no longer the concept of a missing preference. - Preferences no longer have to be part of the resources bundle because they now have reasonable default values. - servoshell specific preferences are no longer part of the preferences exposed by the Servo API. Signed-off-by: Martin Robinson <mrobinson@igalia.com>
32 lines
1.2 KiB
Text
32 lines
1.2 KiB
Text
/* 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://w3c.github.io/IntersectionObserver/#intersection-observer-interface
|
|
|
|
callback IntersectionObserverCallback =
|
|
undefined (sequence<IntersectionObserverEntry> entries, IntersectionObserver observer);
|
|
|
|
dictionary IntersectionObserverInit {
|
|
(Element or Document)? root = null;
|
|
DOMString rootMargin;
|
|
DOMString scrollMargin;
|
|
(double or sequence<double>) threshold;
|
|
long delay;
|
|
boolean trackVisibility = false;
|
|
};
|
|
|
|
[Pref="dom_intersection_observer_enabled", Exposed=(Window)]
|
|
interface IntersectionObserver {
|
|
constructor(IntersectionObserverCallback callback, optional IntersectionObserverInit options = {});
|
|
readonly attribute (Element or Document)? root;
|
|
readonly attribute DOMString rootMargin;
|
|
readonly attribute DOMString scrollMargin;
|
|
readonly attribute /* FrozenArray<double> */ any thresholds;
|
|
readonly attribute long delay;
|
|
readonly attribute boolean trackVisibility;
|
|
undefined observe(Element target);
|
|
undefined unobserve(Element target);
|
|
undefined disconnect();
|
|
sequence<IntersectionObserverEntry> takeRecords();
|
|
};
|