mirror of
https://github.com/zed-industries/zed.git
synced 2024-11-10 05:37:29 +03:00
f5b60adcf9
This PR increases the max height of the outline picker so that it can take up a larger area of the screen when there are lots of results. This behavior is similar to the way it was in Zed1. Release Notes: - N/A |
||
---|---|---|
.. | ||
src | ||
Cargo.toml |