✨ Setting to change terminal line spacing

未关闭

#1,103 创建于 2023年3月3日 2 条评论 0 个 reaction 已指派 0 人在 GitHub 查看

enhancement

描述

### Describe the solution you'd like

A setting is needed to change the terminals line spacing.

### Prerequisites

- #1102

这个 Issue 还没有评估数据。