Fix unexpected top space height change when echo area height changes#18

Merged

trevorpogue merged 1 commit intomainfrom eldoc

Apr 26, 2022

+81-65

Commits on Apr 26, 2022

Fix unexpected top space height change when echo area height changes
trevorpogue
committed