Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-08-09 07:25:35 +01:00
Code Issues Projects Releases Packages Wiki Activity

Add documentation to a few pref configs (#30548)

Browse source 
* Add documentation to a few pref configs

* Update components/config/prefs.rs

---------

Co-authored-by: Martin Robinson <mrobinson@igalia.com>
This commit is contained in:
Ngo Iok Ui (Wu Yu Wei) 2023-10-16 22:07:41 +09:00 • committed by GitHub
parent a81a1cf794
commit a2f8dcfb8a
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 6 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

6
components/config/prefs.rs
View file

@ -145,6 +145,7 @@ mod gen {
}, },
dom: { dom: {
webgpu: { webgpu: {
/// Enable WebGPU APIs.
enabled: bool, enabled: bool,
}, },
bluetooth: { bluetooth: {
@ -274,6 +275,7 @@ mod gen {
enabled: bool, enabled: bool,
}, },
webgl2: { webgl2: {
/// Enable WebGL2 APIs.
enabled: bool, enabled: bool,
}, },
webrtc: { webrtc: {
@ -490,12 +492,14 @@ mod gen {
}, },
shell: { shell: {
background_color: { background_color: {
/// The background color of shell's viewport. This will be used by OpenGL's `glClearColor`.
#[serde(rename = "shell.background-color.rgba")] #[serde(rename = "shell.background-color.rgba")]
rgba: [f64; 4], rgba: [f64; 4],
}, },
crash_reporter: { crash_reporter: {
enabled: bool, enabled: bool,
}, },
/// URL string of the homepage.
homepage: String, homepage: String,
keep_screen_on: { keep_screen_on: {
enabled: bool, enabled: bool,
@ -503,9 +507,11 @@ mod gen {
#[serde(rename = "shell.native-orientation")] #[serde(rename = "shell.native-orientation")]
native_orientation: String, native_orientation: String,
native_titlebar: { native_titlebar: {
/// Enable native window's titlebar and decorations.
#[serde(rename = "shell.native-titlebar.enabled")] #[serde(rename = "shell.native-titlebar.enabled")]
enabled: bool, enabled: bool,
}, },
/// URL string of the search engine page (for example <https://google.com> or and <https://duckduckgo.com>.
searchpage: String, searchpage: String,
}, },
webgl: { webgl: {