From 2d738cbe80ee5cd2a73f8f1eaaf338eae760d8e1 Mon Sep 17 00:00:00 2001
From: Marshall Bowers <elliott.codes@gmail.com>
Date: Tue, 12 Dec 2023 20:42:48 -0500
Subject: [PATCH] Fix workspace sizing (#3617)

This PR fixes the sizing of the workspace, specifically with regards to
the center pane.

This fixes the issue where the tab bar would get clipped when its width
exceeded the size of the screen.

<img width="1298" alt="Screenshot 2023-12-12 at 8 36 15 PM"
src="https://github.com/zed-industries/zed/assets/1486634/592d7c6d-6901-4bd4-b5e7-e30bcad67e21">

Release Notes:

- N/A
---
 crates/workspace2/src/workspace2.rs | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/crates/workspace2/src/workspace2.rs b/crates/workspace2/src/workspace2.rs
index 17ee4ca8fc..a7dc76f41d 100644
--- a/crates/workspace2/src/workspace2.rs
+++ b/crates/workspace2/src/workspace2.rs
@@ -3627,6 +3627,7 @@ impl Render for Workspace {
                     .flex_1()
                     .w_full()
                     .flex()
+                    .flex_col()
                     .overflow_hidden()
                     .border_t()
                     .border_b()
@@ -3667,7 +3668,6 @@ impl Render for Workspace {
                         div()
                             .flex()
                             .flex_row()
-                            .flex_1()
                             .h_full()
                             // Left Dock
                             .child(
@@ -3683,6 +3683,7 @@ impl Render for Workspace {
                                     .flex()
                                     .flex_col()
                                     .flex_1()
+                                    .overflow_hidden()
                                     .child(self.center.render(
                                         &self.project,
                                         &self.follower_states,