Fixes https://github.com/zed-industries/community/issues/2395 using the first approach suggested in the original post (focus the existing search without bringing it over to a pane).
Piotr Osiewicz committed on 1/11/2024, 5:39:28 PMparenta9fce19
1 file changedLine totals unavailable