Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-08-03 12:40:06 +01:00
Code Issues Projects Releases Packages Wiki Activity

Remove some unused preferences (#33939)

Browse source 
Signed-off-by: DK Liao <dklassic@gmail.com>
This commit is contained in:
DK Liao 2024-10-21 16:24:27 +08:00 • committed by GitHub
parent 45267c9f28
commit fee927475b
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 0 additions and 11 deletions
Download patch file Download diff file Expand all files Collapse all files

11
components/config/prefs.rs
View file

@ -189,14 +189,6 @@ mod gen {
gen_accessors = PREF_ACCESSORS, gen_accessors = PREF_ACCESSORS,
// tree of structs to generate // tree of structs to generate
gen_types = Prefs { gen_types = Prefs {
browser: {
display: {
#[serde(default = "white")]
background_color: i64,
#[serde(default = "black")]
foreground_color: i64,
}
},
fonts: { fonts: {
#[serde(default)] #[serde(default)]
default: String, default: String,
@ -610,9 +602,6 @@ mod gen {
}, },
/// URL string of the homepage. /// URL string of the homepage.
homepage: String, homepage: String,
keep_screen_on: {
enabled: bool,
},
#[serde(rename = "shell.native-orientation")] #[serde(rename = "shell.native-orientation")]
native_orientation: String, native_orientation: String,
native_titlebar: { native_titlebar: {