diff options
author | DK Liao <dklassic@gmail.com> | 2024-10-21 16:24:27 +0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2024-10-21 08:24:27 +0000 |
commit | fee927475b6bd13e80a4bdc1712cb3aa04805099 (patch) | |
tree | 7579809360aa0b73c310c55d40b54aadc839154b | |
parent | 45267c9f280708d1af1d60cb1bc3fad4cd71157d (diff) | |
download | servo-fee927475b6bd13e80a4bdc1712cb3aa04805099.tar.gz servo-fee927475b6bd13e80a4bdc1712cb3aa04805099.zip |
Remove some unused preferences (#33939)
Signed-off-by: DK Liao <dklassic@gmail.com>
-rw-r--r-- | components/config/prefs.rs | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/components/config/prefs.rs b/components/config/prefs.rs index 616142eed4d..2c7eb21d46e 100644 --- a/components/config/prefs.rs +++ b/components/config/prefs.rs @@ -189,14 +189,6 @@ mod gen { gen_accessors = PREF_ACCESSORS, // tree of structs to generate gen_types = Prefs { - browser: { - display: { - #[serde(default = "white")] - background_color: i64, - #[serde(default = "black")] - foreground_color: i64, - } - }, fonts: { #[serde(default)] default: String, @@ -610,9 +602,6 @@ mod gen { }, /// URL string of the homepage. homepage: String, - keep_screen_on: { - enabled: bool, - }, #[serde(rename = "shell.native-orientation")] native_orientation: String, native_titlebar: { |