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 2023-12-12 20:42:48 -05:00 committed by GitHub
parent e09b07ddae
commit 573377d9f9
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

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,