From 607201be79aa6fd5b490f4051815bedca8fc6b19 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Jos=C3=A9=20Almeida?= <57680069+zeval@users.noreply.github.com> Date: Sun, 7 Jun 2026 13:00:19 +0100 Subject: [PATCH] fix(web): tighten dockview topbar button sizing (#1290) * fix(web): tighten dockview topbar button sizing * fix(web): keep editor button focus ring inside clipped container --- apps/web/components/task/editors-menu.tsx | 6 +++--- apps/web/components/task/task-top-bar.tsx | 10 +++++----- 2 files changed, 8 insertions(+), 8 deletions(-) diff --git a/apps/web/components/task/editors-menu.tsx b/apps/web/components/task/editors-menu.tsx index 78ba6412ae..5989337378 100644 --- a/apps/web/components/task/editors-menu.tsx +++ b/apps/web/components/task/editors-menu.tsx @@ -45,13 +45,13 @@ export function EditorsMenu({ activeSessionId }: EditorsMenuProps) { }, [defaultEditorId, enabledEditors]); return ( -
+