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
This commit is contained in:
Marshall Bowers authored and GitHub committed 2023-12-12 20:42:48 -05:00
1 parent 7d23b20f10
commit 2d738cbe80
1 file changed
+2 -1
+2 -1
View File
@@ -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,