ZIm/crates/workspace/src
Kirill Bulatov 20554d0296
Fix center element wrapper size (#10672)
Fixes
https://github.com/zed-industries/zed/pull/9754#pullrequestreview-2005401133
Fixes
https://github.com/zed-industries/zed/pull/9754#issuecomment-2060536590
Closes https://github.com/zed-industries/zed/pull/10669

* Updates the docs to use a proper max value for the centered layout
padding (0.4 instead of 0.45)
* Makes the `center` wrapper (`h_flex`) to be of size of the `center`
element always, to ensure terminal lines are displayed correctly

The letter fix is somewhat hacky: while it does the right thing right
now, it does not prevent us from future mistakes like these, and does
not explain why the bottom dock could be of one, smaller, height, and
its contents, the terminal pane/terminal element/something else would
think that it has a larger height, thus breaking the scrolling and
rendering.
cc @alygin if you're interested to solve another layout-related thing.

Release Notes:

- N/A
2024-04-17 12:34:18 +03:00
..
persistence Add centered layout support (#9754) 2024-04-16 12:12:41 -07:00
dock.rs workspace: Fix panel resize handles leaking through zoomed panels (#9909) 2024-03-28 12:18:51 +01:00
item.rs Use buffer font when rendering editor breadcrumbs and diagnostics (#10488) 2024-04-12 12:29:00 -07:00
modal_layer.rs Occlude only modal and not the space around it used to center it 2024-03-11 18:13:00 +01:00
notifications.rs Refactor workspace notifications to use explicit NotificationId type (#10342) 2024-04-10 17:21:23 -04:00
pane.rs Show Zoom In/Out shortcuts in the labels (#10604) 2024-04-16 14:00:25 +03:00
pane_group.rs themes: Add pane_group.border color (#9986) 2024-04-01 12:07:26 -04:00
persistence.rs Fix order of migrations from #9754 (#10657) 2024-04-16 14:29:04 -07:00
searchable.rs Make BufferSearch less wide (#10459) 2024-04-11 23:07:29 -06:00
shared_screen.rs Add preview tabs (#9125) 2024-04-11 23:09:12 +02:00
status_bar.rs Rename overflow_hidden_{x,y} to overflow_{x,y}_hidden (#4146) 2024-01-18 22:10:41 -05:00
toolbar.rs Editor toolbar configuration (#7338) 2024-02-03 22:40:54 +02:00
workspace.rs Fix center element wrapper size (#10672) 2024-04-17 12:34:18 +03:00
workspace_settings.rs Add centered layout support (#9754) 2024-04-16 12:12:41 -07:00