✨ Setting to change terminal line spacing

Open austincondiff opened this issue 2 years ago • 2 comments

Describe the solution you'd like

A setting is needed to change the terminals line spacing.

Prerequisites

#1102

Mar 03 '23 17:03 austincondiff

Isn't this a duplicate of https://github.com/CodeEditApp/CodeEdit/issues/1102?

Mar 05 '23 10:03 iggy890

@iggy890 I believe these two were set up separately because #1102 addresses the backend needed for the terminal, while this issue, #1103, addresses the setting to interface the backend. In my opinion they should be merged for simplicity since this task is incredibly simple while the other would require some more work and they will most likely be taken care of in the same PR, but regardless, I believe that is the relationship between the two issues.

Jun 21 '23 14:06 dsr432