From 573377d9f93f70df77490f1e362d591ab068860f 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,