Improve the margin calculation for the search command's UI#12890

Merged

bors merged 1 commit intorust-lang:masterfrom Rustin170506:rustin-patch-search

Oct 29, 2023

+2-8

Commits on Oct 28, 2023

Improve the margin calculation for the search command's UI
Rustin170506
committed