diff options
| author | Martin Robinson <mrobinson@igalia.com> | 2025-01-14 14:54:06 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-01-14 13:54:06 +0000 |
| commit | 0e616e0c5d2bef8a6de1df25f2419a435837ed63 (patch) | |
| tree | 71a3c54941f8283e58b5d6477f6b0a9aebe044d9 /tests/wpt/meta/css | |
| parent | c4c85affb50419af4b70c42fcb1f03dea3527044 (diff) | |
| download | servo-0e616e0c5d2bef8a6de1df25f2419a435837ed63.tar.gz servo-0e616e0c5d2bef8a6de1df25f2419a435837ed63.zip | |
api: Flatten and simplify Servo preferences (#34966)
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>
Diffstat (limited to 'tests/wpt/meta/css')
| -rw-r--r-- | tests/wpt/meta/css/css-align/__dir__.ini | 2 | ||||
| -rw-r--r-- | tests/wpt/meta/css/css-flexbox/__dir__.ini | 2 | ||||
| -rw-r--r-- | tests/wpt/meta/css/css-grid/__dir__.ini | 2 |
3 files changed, 3 insertions, 3 deletions
diff --git a/tests/wpt/meta/css/css-align/__dir__.ini b/tests/wpt/meta/css/css-align/__dir__.ini index e4af70583e1..bd1bf899085 100644 --- a/tests/wpt/meta/css/css-align/__dir__.ini +++ b/tests/wpt/meta/css/css-align/__dir__.ini @@ -1 +1 @@ -prefs: ["layout.columns.enabled:true", "layout.flexbox.enabled:true"] +prefs: ["layout_columns_enabled:true", "layout_flexbox_enabled:true"] diff --git a/tests/wpt/meta/css/css-flexbox/__dir__.ini b/tests/wpt/meta/css/css-flexbox/__dir__.ini index e4af70583e1..bd1bf899085 100644 --- a/tests/wpt/meta/css/css-flexbox/__dir__.ini +++ b/tests/wpt/meta/css/css-flexbox/__dir__.ini @@ -1 +1 @@ -prefs: ["layout.columns.enabled:true", "layout.flexbox.enabled:true"] +prefs: ["layout_columns_enabled:true", "layout_flexbox_enabled:true"] diff --git a/tests/wpt/meta/css/css-grid/__dir__.ini b/tests/wpt/meta/css/css-grid/__dir__.ini index 7d65365a765..745da0bac0a 100644 --- a/tests/wpt/meta/css/css-grid/__dir__.ini +++ b/tests/wpt/meta/css/css-grid/__dir__.ini @@ -1 +1 @@ -prefs: ["layout.columns.enabled:true", "layout.flexbox.enabled:true", "layout.grid.enabled:true"] +prefs: ["layout_columns_enabled:true", "layout_flexbox_enabled:true", "layout_grid_enabled:true"] |