From 4cdce070c451369d226270029622d817771d1c53 Mon Sep 17 00:00:00 2001
From: Nathan Sobo <nathansobo@gmail.com>
Date: Tue, 30 Mar 2021 16:57:21 -0600
Subject: [PATCH] Reduce selection corner radius

Co-Authored-By: Max Brunsfeld <maxbrunsfeld@gmail.com>
---
 zed/src/editor/buffer_element.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/zed/src/editor/buffer_element.rs b/zed/src/editor/buffer_element.rs
index 1495f9398f..ae33a17028 100644
--- a/zed/src/editor/buffer_element.rs
+++ b/zed/src/editor/buffer_element.rs
@@ -603,7 +603,7 @@ impl Selection {
         }
 
         let mut path = PathBuilder::new();
-        let corner_radius = 0.25 * self.line_height;
+        let corner_radius = 0.15 * self.line_height;
         let first_line = lines.first().unwrap();
         let last_line = lines.last().unwrap();