Fix bug that was causing Editor to notify on every mouse move

This commit is contained in:
Antonio Scandurra
2024-01-06 18:56:55 +01:00
parent db4a0b14c0
commit 23414d185c
+1 -1
View File
@@ -240,7 +240,7 @@ impl DisplayMap {
}
pub fn clear_highlights(&mut self, type_id: TypeId) -> bool {
let mut cleared = self.text_highlights.remove(&Some(type_id)).is_some();
cleared |= self.inlay_highlights.remove(&type_id).is_none();
cleared |= self.inlay_highlights.remove(&type_id).is_some();
cleared
}