From 677868ba1a7a48cc299286ae7fad3e009c2b35d9 Mon Sep 17 00:00:00 2001
From: Danilo Leal <67129314+danilo-leal@users.noreply.github.com>
Date: Tue, 7 Jan 2025 13:07:25 -0300
Subject: [PATCH] Add toolbar spacing and alignment improvements (#22771)
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Tackles some of the points here:
https://github.com/zed-industries/zed/issues/22673. However, this is not
doing anything yet to treat misalignment when with odd-number UI font
sizes. Here are some screenshots with a theme that makes easier to spot
them. It's subtle:
| Before | After |
|--------|--------|
|
|
|
|
|
|
Release Notes:
- N/A
---
assets/icons/filter.svg | 4 +-
assets/icons/magnifying_glass.svg | 4 +-
crates/search/src/buffer_search.rs | 61 +++++++++++--------
crates/search/src/project_search.rs | 5 +-
crates/zed/src/zed/quick_action_bar.rs | 2 +-
.../zed/src/zed/quick_action_bar/repl_menu.rs | 6 +-
6 files changed, 46 insertions(+), 36 deletions(-)
diff --git a/assets/icons/filter.svg b/assets/icons/filter.svg
index 80ce656f57199246dc036f39e2fead4e19e53168..7391fea132eac0e394cce97f0b1e630e2255f87d 100644
--- a/assets/icons/filter.svg
+++ b/assets/icons/filter.svg
@@ -1,3 +1,3 @@
-