mirror of
https://github.com/servo/servo.git
synced 2025-08-02 20:20:14 +01:00
0e616e0c5d
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>
36 lines
1.3 KiB
Text
36 lines
1.3 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/gamepad/#gamepad-interface
|
|
[Exposed=Window, Pref="dom_gamepad_enabled"]
|
|
interface Gamepad {
|
|
readonly attribute DOMString id;
|
|
readonly attribute long index;
|
|
readonly attribute boolean connected;
|
|
readonly attribute DOMHighResTimeStamp timestamp;
|
|
readonly attribute DOMString mapping;
|
|
readonly attribute Float64Array axes;
|
|
[SameObject] readonly attribute GamepadButtonList buttons;
|
|
[SameObject] readonly attribute GamepadHapticActuator vibrationActuator;
|
|
};
|
|
|
|
// https://w3c.github.io/gamepad/extensions.html#partial-gamepad-interface
|
|
partial interface Gamepad {
|
|
readonly attribute GamepadHand hand;
|
|
// readonly attribute FrozenArray<GamepadHapticActuator> hapticActuators;
|
|
readonly attribute GamepadPose? pose;
|
|
};
|
|
|
|
// https://w3c.github.io/gamepad/extensions.html#gamepadhand-enum
|
|
enum GamepadHand {
|
|
"", /* unknown, both hands, or not applicable */
|
|
"left",
|
|
"right"
|
|
};
|
|
|
|
// https://www.w3.org/TR/gamepad/#extensions-to-the-windoweventhandlers-interface-mixin
|
|
partial interface mixin WindowEventHandlers {
|
|
attribute EventHandler ongamepadconnected;
|
|
attribute EventHandler ongamepaddisconnected;
|
|
};
|