From fdd2dd57489f7df004fb3bac11fb5ee88a8bc2b9 Mon Sep 17 00:00:00 2001 From: Danilo Leal <67129314+danilo-leal@users.noreply.github.com> Date: Thu, 8 Jan 2026 18:19:40 -0300 Subject: [PATCH] agent: Fix profiles tooltip border (#46396) MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit One _character_ change to fix the dividing border in the agent panel's profile tooltip. 😬 Release Notes: - N/A --- crates/agent_ui/src/profile_selector.rs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/crates/agent_ui/src/profile_selector.rs b/crates/agent_ui/src/profile_selector.rs index 9330fdb292ad4ed956eaf5c767913c2fa54e2478..8a0767004deed4974b70f0ac859c3c9c0e724d6a 100644 --- a/crates/agent_ui/src/profile_selector.rs +++ b/crates/agent_ui/src/profile_selector.rs @@ -196,8 +196,8 @@ impl Render for ProfileSelector { )) .child( container() - .pb_1() - .border_b_1() + .pt_1() + .border_t_1() .border_color(cx.theme().colors().border_variant) .child(Label::new("Cycle Through Profiles")) .child(KeyBinding::for_action_in(