migueldeicaza
commented
1 year ago Happy to have a discussion or review a PR, as I am not sure what the right behavior is here, nor why would this be needed.
Let us move this to discussions.
Closed gokul1099 closed 1 year ago
migueldeicaza
commented
1 year ago Happy to have a discussion or review a PR, as I am not sure what the right behavior is here, nor why would this be needed.
Let us move this to discussions.
Currently there is no method for changing the line height and letter spacing for content in terminal.