From 332b364a30f1052843a05480597ab0177795173e Mon Sep 17 00:00:00 2001
From: Julia <floc@unpromptedtirade.com>
Date: Mon, 8 May 2023 11:32:57 -0400
Subject: [PATCH] Prevent some cases of clipping icons due to pixel coord
 rounding

---
 crates/drag_and_drop/src/drag_and_drop.rs | 2 +-
 crates/editor/src/element.rs              | 3 ++-
 2 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/crates/drag_and_drop/src/drag_and_drop.rs b/crates/drag_and_drop/src/drag_and_drop.rs
index fdf122593e..828e730403 100644
--- a/crates/drag_and_drop/src/drag_and_drop.rs
+++ b/crates/drag_and_drop/src/drag_and_drop.rs
@@ -199,7 +199,7 @@ impl<V: View> DragAndDrop<V> {
                             return None;
                         }
 
-                        let position = position - region_offset;
+                        let position = (position - region_offset).round();
                         Some(
                             Overlay::new(
                                 MouseEventHandler::<DraggedElementHandler, V>::new(
diff --git a/crates/editor/src/element.rs b/crates/editor/src/element.rs
index d1ad1f2625..f2e8aca81d 100644
--- a/crates/editor/src/element.rs
+++ b/crates/editor/src/element.rs
@@ -1609,7 +1609,8 @@ impl Element<Editor> for EditorElement {
         let gutter_width;
         let gutter_margin;
         if snapshot.mode == EditorMode::Full {
-            gutter_padding = style.text.em_width(cx.font_cache()) * style.gutter_padding_factor;
+            let em_width = style.text.em_width(cx.font_cache());
+            gutter_padding = (em_width * style.gutter_padding_factor).round();
             gutter_width = self.max_line_number_width(&snapshot, cx) + gutter_padding * 2.0;
             gutter_margin = -style.text.descent(cx.font_cache());
         } else {