2
GVim может достигнуть этой цели set linespace=12, но он не работает в xfce4-terminal.может xfce4-terminal установить линейное пространство? Или какой терминал-enumlator поддерживает настройку?
Я пробовал почти весь терминал, указанный в this page, но не нашел.
благодарит за помощь!
См https://askubuntu.com/questions/194264/how-do-i-change-the-line-spacing-in- терминал/983242 для получения дополнительных ответов. – egmont