Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-08-14 18:05:36 +01:00
Code Issues Projects Releases Packages Wiki Activity

api: Flatten and simplify Servo preferences (#34966)

Browse source 
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>
This commit is contained in:
Martin Robinson 2025-01-14 14:54:06 +01:00 • committed by GitHub
parent c4c85affb5
commit 0e616e0c5d
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
316 changed files with 2088 additions and 3235 deletions
Download patch file Download diff file Expand all files Collapse all files

266
resources/prefs.json
View file

@ -1,135 +1,135 @@
{
"devtools.server.enabled": false,
"devtools.server.port": 0,
"dom.abort_controller.enabled": false,
"dom.allow_scripts_to_close_windows": false,
"dom.bluetooth.enabled": false,
"dom.bluetooth.testing.enabled": false,
"dom.canvas_capture.enabled": false,
"dom.canvas_text.enabled": true,
"dom.compositionevent.enabled": false,
"dom.crypto.subtle.enabled": true,
"dom.customelements.enabled": true,
"dom.document.dblclick_dist": 1,
"dom.document.dblclick_timeout": 300,
"dom.forcetouch.enabled": false,
"dom.fullscreen.test": false,
"dom.gamepad.enabled": true,
"dom.imagebitmap.enabled": false,
"dom.intersection_observer.enabled": false,
"dom.microdata.enabled": false,
"dom.microdata.testing.enabled": false,
"dom.mouseevent.which.enabled": false,
"dom.mutation_observer.enabled": true,
"dom.offscreen_canvas.enabled": false,
"dom.permissions.enabled": false,
"dom.permissions.testing.allowed_in_nonsecure_contexts": false,
"dom.resize_observer.enabled": false,
"dom.script.asynch": true,
"dom.serviceworker.enabled": false,
"dom.serviceworker.timeout_seconds": 60,
"dom.servo_helpers.enabled": false,
"dom.servoparser.async_html_tokenizer.enabled": false,
"dom.shadowdom.enabled": false,
"dom.svg.enabled": false,
"dom.testable_crash.enabled": false,
"dom.testbinding.enabled": false,
"dom.testing.htmlinputelement.select_files.enabled": false,
"dom.webgl2.enabled": false,
"dom.webgpu.enabled": false,
"dom.webgpu.wgpu_backend": "",
"dom.webrtc.enabled": false,
"dom.webrtc.transceiver.enabled": false,
"dom.webvtt.enabled": false,
"dom.webxr.enabled": true,
"dom.webxr.first_person_observer_view": false,
"dom.webxr.glwindow.cubemap": false,
"dom.webxr.glwindow.enabled": true,
"dom.webxr.glwindow.left-right": false,
"dom.webxr.glwindow.red-cyan": false,
"dom.webxr.glwindow.spherical": false,
"dom.webxr.hands.enabled": true,
"dom.webxr.layers.enabled": false,
"dom.webxr.openxr.enabled": true,
"dom.webxr.sessionavailable": false,
"dom.webxr.test": false,
"dom.webxr.unsafe-assume-user-intent": false,
"dom.worklet.timeout_ms": 10,
"dom.xpath.enabled": false,
"gfx.subpixel-text-antialiasing.enabled": true,
"gfx.texture-swizzling.enabled": true,
"js.asmjs.enabled": true,
"js.asyncstack.enabled": false,
"js.baseline_interpreter.enabled": true,
"js.baseline_jit.enabled": true,
"js.baseline_jit.unsafe_eager_compilation.enabled": false,
"js.disable_jit": false,
"js.discard_system_source.enabled": false,
"js.dump_stack_on_debuggee_would_run.enabled": false,
"js.ion.enabled": true,
"js.ion.offthread_compilation.enabled": true,
"js.ion.unsafe_eager_compilation.enabled": false,
"js.mem.gc.allocation_threshold_avoid_interrupt_factor": 100,
"js.mem.gc.allocation_threshold_factor": 100,
"js.mem.gc.allocation_threshold_mb": 30,
"js.mem.gc.compacting.enabled": true,
"js.mem.gc.decommit_threshold_mb": 32,
"js.mem.gc.dynamic_heap_growth.enabled": true,
"js.mem.gc.dynamic_mark_slice.enabled": true,
"js.mem.gc.empty_chunk_count_max": 30,
"js.mem.gc.empty_chunk_count_min": 1,
"js.mem.gc.high_frequency_heap_growth_max": 300,
"js.mem.gc.high_frequency_heap_growth_min": 150,
"js.mem.gc.high_frequency_high_limit_mb": 500,
"js.mem.gc.high_frequency_low_limit_mb": 100,
"js.mem.gc.high_frequency_time_limit_ms": 1000,
"js.mem.gc.incremental.enabled": true,
"js.mem.gc.incremental.slice_ms": 10,
"js.mem.gc.low_frequency_heap_growth": 150,
"js.mem.gc.per_zone.enabled": false,
"js.mem.gc.zeal.frequency": 100,
"js.mem.gc.zeal.level": 0,
"js.mem.max": -1,
"js.native_regex.enabled": true,
"js.offthread_compilation.enabled": true,
"js.parallel_parsing.enabled": true,
"js.shared_memory.enabled": true,
"js.throw_on_asmjs_validation_failure.enabled": false,
"js.throw_on_debuggee_would_run.enabled": false,
"js.timers.minimum_duration": 1000,
"js.wasm.baseline.enabled": true,
"js.wasm.enabled": true,
"js.wasm.ion.enabled": true,
"js.werror.enabled": false,
"layout.animations.test.enabled": false,
"layout.columns.enabled": false,
"layout.css.transition-behavior.enabled": true,
"layout.flexbox.enabled": true,
"layout.grid.enabled": false,
"layout.legacy_layout": false,
"layout.threads": 3,
"layout.writing-mode.enabled": false,
"media.glvideo.enabled": false,
"media.testing.enabled": false,
"network.enforce_tls.enabled": false,
"network.enforce_tls.localhost": false,
"network.enforce_tls.onion": false,
"network.http-cache.disabled": false,
"network.local_directory_listing.enabled": false,
"network.mime.sniff": false,
"network.tls.ignore_unexpected_eof": false,
"session-history.max-length": 20,
"shell.background-color.rgba": [1.0, 1.0, 1.0, 1.0],
"shell.crash_reporter.enabled": false,
"shell.homepage": "https://servo.org",
"shell.keep_screen_on.enabled": false,
"shell.native-orientation": "both",
"shell.native-titlebar.enabled": true,
"shell.searchpage": "https://duckduckgo.com/html/?q=%s",
"threadpools.async_runtime_workers.max": 6,
"threadpools.fallback_worker_num": 3,
"threadpools.image_cache_workers.max": 4,
"threadpools.resource_workers.max": 4,
"threadpools.webrender_workers.max": 4,
"webgl.testing.context_creation_error": false
"devtools_server_enabled": false,
"devtools_server_port": 0,
"dom_abort_controller_enabled": false,
"dom_allow_scripts_to_close_windows": false,
"dom_bluetooth_enabled": false,
"dom_bluetooth_testing_enabled": false,
"dom_canvas_capture_enabled": false,
"dom_canvas_text_enabled": true,
"dom_compositionevent_enabled": false,
"dom_crypto_subtle_enabled": true,
"dom_customelements_enabled": true,
"dom_document_dblclick_dist": 1,
"dom_document_dblclick_timeout": 300,
"dom_forcetouch_enabled": false,
"dom_fullscreen_test": false,
"dom_gamepad_enabled": true,
"dom_imagebitmap_enabled": false,
"dom_intersection_observer_enabled": false,
"dom_microdata_enabled": false,
"dom_microdata_testing_enabled": false,
"dom_mouse_event_which_enabled": false,
"dom_mutation_observer_enabled": true,
"dom_offscreen_canvas_enabled": false,
"dom_permissions_enabled": false,
"dom_permissions_testing_allowed_in_nonsecure_contexts": false,
"dom_resize_observer_enabled": false,
"dom_script_asynch": true,
"dom_serviceworker_enabled": false,
"dom_serviceworker_timeout_seconds": 60,
"dom_servo_helpers_enabled": false,
"dom_servoparser_async_html_tokenizer_enabled": false,
"dom_shadowdom_enabled": false,
"dom_svg_enabled": false,
"dom_testable_crash_enabled": false,
"dom_testbinding_enabled": false,
"dom_testing_html_input_element_select_files_enabled": false,
"dom_webgl2_enabled": false,
"dom_webgpu_enabled": false,
"dom_webgpu_wgpu_backend": "",
"dom_webrtc_enabled": false,
"dom_webrtc_transceiver_enabled": false,
"dom_webvtt_enabled": false,
"dom_webxr_enabled": true,
"dom_webxr_first_person_observer_view": false,
"dom_webxr_glwindow_cubemap": false,
"dom_webxr_glwindow_enabled": true,
"dom_webxr_glwindow_left-right": false,
"dom_webxr_glwindow_red-cyan": false,
"dom_webxr_glwindow_spherical": false,
"dom_webxr_hands_enabled": true,
"dom_webxr_layers_enabled": false,
"dom_webxr_openxr_enabled": true,
"dom_webxr_sessionavailable": false,
"dom_webxr_test": false,
"dom_webxr_unsafe-assume-user-intent": false,
"dom_worklet_timeout_ms": 10,
"dom_xpath_enabled": false,
"gfx_subpixel-text-antialiasing_enabled": true,
"gfx_texture-swizzling_enabled": true,
"js_asmjs_enabled": true,
"js_asyncstack_enabled": false,
"js_baseline_interpreter_enabled": true,
"js_baseline_jit_enabled": true,
"js_baseline_jit_unsafe_eager_compilation_enabled": false,
"js_disable_jit": false,
"js_discard_system_source_enabled": false,
"js_dump_stack_on_debuggee_would_run_enabled": false,
"js_ion_enabled": true,
"js_ion_offthread_compilation_enabled": true,
"js_ion_unsafe_eager_compilation_enabled": false,
"js_mem_gc_allocation_threshold_avoid_interrupt_factor": 100,
"js_mem_gc_allocation_threshold_factor": 100,
"js_mem_gc_allocation_threshold_mb": 30,
"js_mem_gc_compacting_enabled": true,
"js_mem_gc_decommit_threshold_mb": 32,
"js_mem_gc_dynamic_heap_growth_enabled": true,
"js_mem_gc_dynamic_mark_slice_enabled": true,
"js_mem_gc_empty_chunk_count_max": 30,
"js_mem_gc_empty_chunk_count_min": 1,
"js_mem_gc_high_frequency_heap_growth_max": 300,
"js_mem_gc_high_frequency_heap_growth_min": 150,
"js_mem_gc_high_frequency_high_limit_mb": 500,
"js_mem_gc_high_frequency_low_limit_mb": 100,
"js_mem_gc_high_frequency_time_limit_ms": 1000,
"js_mem_gc_incremental_enabled": true,
"js_mem_gc_incremental_slice_ms": 10,
"js_mem_gc_low_frequency_heap_growth": 150,
"js_mem_gc_per_zone_enabled": false,
"js_mem_gc_zeal_frequency": 100,
"js_mem_gc_zeal_level": 0,
"js_mem_max": -1,
"js_native_regex_enabled": true,
"js_offthread_compilation_enabled": true,
"js_parallel_parsing_enabled": true,
"js_shared_memory_enabled": true,
"js_throw_on_asmjs_validation_failure_enabled": false,
"js_throw_on_debuggee_would_run_enabled": false,
"js_timers_minimum_duration": 1000,
"js_wasm_baseline_enabled": true,
"js_wasm_enabled": true,
"js_wasm_ion_enabled": true,
"js_werror_enabled": false,
"layout_animations_test_enabled": false,
"layout_columns_enabled": false,
"layout_css_transition-behavior_enabled": true,
"layout_flexbox_enabled": true,
"layout_grid_enabled": false,
"layout_legacy_layout": false,
"layout_threads": 3,
"layout_writing-mode_enabled": false,
"media_glvideo_enabled": false,
"media_testing_enabled": false,
"network_enforce_tls_enabled": false,
"network_enforce_tls_localhost": false,
"network_enforce_tls_onion": false,
"network_http-cache_disabled": false,
"network_local_directory_listing_enabled": false,
"network_mime_sniff": false,
"network_tls_ignore_unexpected_eof": false,
"session-history_max-length": 20,
"shell_background-color_rgba": [1.0, 1.0, 1.0, 1.0],
"shell_crash_reporter_enabled": false,
"shell_homepage": "https://servo_org",
"shell_keep_screen_on_enabled": false,
"shell_native-orientation": "both",
"shell_native-titlebar_enabled": true,
"shell_searchpage": "https://duckduckgo_com/html/?q=%s",
"threadpools_async_runtime_workers_max": 6,
"threadpools_fallback_worker_num": 3,
"threadpools_image_cache_workers_max": 4,
"threadpools_resource_workers_max": 4,
"threadpools_webrender_workers_max": 4,
"webgl_testing_context_creation_error": false
}

4
resources/wpt-prefs.json
View file

@ -1,4 +1,4 @@
{
"dom.webxr.test": true,
"network.tls.ignore_unexpected_eof": true
"dom_webxr_test": true,
"network_tls_ignore_unexpected_eof": true
}