From 4a60326c1c805be50958b67468df8f4a503d25ab Mon Sep 17 00:00:00 2001 From: Jason Lee Date: Wed, 6 Mar 2024 23:03:59 +0800 Subject: [PATCH] Remove workspace border, avoid the main window having double borders (#8922) Release Notes: - Fixed main window border, avoid double borders. ## Diff (Left is Before, Right is After) ![SCR-20240306-g2v](https://github.com/zed-industries/zed/assets/5518/b13bab55-9d74-4181-ae43-e338bb6f7112) ![SCR-20240306-g0x](https://github.com/zed-industries/zed/assets/5518/af9d4190-a974-4c26-8466-dce1c78c3f31) Reference to Safari: ![SCR-20240306-ejo](https://github.com/zed-industries/zed/assets/5518/14c41898-8218-4bec-8574-8915a7186926) ## More Theme tests ![SCR-20240306-g0d](https://github.com/zed-industries/zed/assets/5518/8938671e-bc7c-4a6a-8c06-0992beb92bb1) ![SCR-20240306-g0j](https://github.com/zed-industries/zed/assets/5518/73a68663-70f5-4f83-aea0-2079236079e7) ![SCR-20240306-g0q](https://github.com/zed-industries/zed/assets/5518/0a2b4905-3dd1-4081-b538-a78728470004) ![SCR-20240306-fu9](https://github.com/zed-industries/zed/assets/5518/dd3a9e2c-ea28-46c6-a993-047dae8b2d8f) --- crates/workspace/src/workspace.rs | 2 -- 1 file changed, 2 deletions(-) diff --git a/crates/workspace/src/workspace.rs b/crates/workspace/src/workspace.rs index 50631ba7360d983622cbf67a1aa01ab219f83f16..ffec512c1a87bacda08a4007e4b5c73e84a2da5a 100644 --- a/crates/workspace/src/workspace.rs +++ b/crates/workspace/src/workspace.rs @@ -3819,8 +3819,6 @@ impl Render for Workspace { .items_start() .text_color(colors.text) .bg(colors.background) - .border() - .border_color(colors.border) .children(self.titlebar_item.clone()) .child( div()