From 27b75ec648f848964adb64a16c663a3dd1e2ee3c Mon Sep 17 00:00:00 2001 From: ManyTheFish Date: Wed, 29 May 2024 11:26:07 +0200 Subject: [PATCH] merge main into v1.8.1 --- milli/src/update/settings.rs | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/milli/src/update/settings.rs b/milli/src/update/settings.rs index dfbc42f6c..d68bbb939 100644 --- a/milli/src/update/settings.rs +++ b/milli/src/update/settings.rs @@ -1166,6 +1166,10 @@ impl InnerIndexSettingsDiff { self.old.geo_fields_ids != self.new.geo_fields_ids || (!self.settings_update_only && self.new.geo_fields_ids.is_some()) } + + pub fn modified_faceted_fields(&self) -> HashSet { + &self.old.user_defined_faceted_fields ^ &self.new.user_defined_faceted_fields + } } #[derive(Clone)]