mirror of
https://github.com/zed-industries/zed.git
synced 2025-01-15 23:03:57 +00: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 |