✨ Setting to change terminal line spacing

Open

#1,103 opened on Mar 3, 2023 2 comments 0 reactions 0 assignees View on GitHub

enhancement

Description

### Describe the solution you'd like

A setting is needed to change the terminals line spacing.

### Prerequisites

- #1102

This issue has not been assessed yet.