![]() Reverts zed-industries/zed#36012 We thought we didn't need this UI, but it turns out it was load bearing :) Release Notes: - Restored the zoomed panel padding |
||
---|---|---|
.. | ||
src | ||
Cargo.toml | ||
LICENSE-GPL |
![]() Reverts zed-industries/zed#36012 We thought we didn't need this UI, but it turns out it was load bearing :) Release Notes: - Restored the zoomed panel padding |
||
---|---|---|
.. | ||
src | ||
Cargo.toml | ||
LICENSE-GPL |