Problem: using wrong printing font, adding too much vertical space
(Gary Johnson, after v9.2.0898)
Solution: Change the font back to Courier 10, update the character
height (Foxe Chen)
fixes: #21203closes: #21206
Signed-off-by: Foxe Chen <chen.foxe@gmail.com>
Signed-off-by: Christian Brabandt <cb@256bit.org>