From fee927475b6bd13e80a4bdc1712cb3aa04805099 Mon Sep 17 00:00:00 2001 From: DK Liao Date: Mon, 21 Oct 2024 16:24:27 +0800 Subject: [PATCH] Remove some unused preferences (#33939) Signed-off-by: DK Liao --- components/config/prefs.rs | 11 ----------- 1 file changed, 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: {