mirror of
https://github.com/zed-industries/zed.git
synced 2024-12-28 03:25:59 +00:00
a63b78d5a0
This PR addresses feedback from @maxbrunsfeld on new replace in buffer. It fixes: - missing padding surrounding replace input. - missing padding around replace buttons. - missing `.notify` call which made the replace fields not show up immediately sometimes. Release Notes: - N/A --------- Co-authored-by: Max <max@zed.dev> |
||
---|---|---|
.. | ||
contexts | ||
fonts | ||
icons | ||
keymaps | ||
settings | ||
sounds | ||
themes |