Is your feature request related to a problem? Please describe.
Depending on the selected theme, it can be hard to see what's on the first line if the characters go right up to the top edge of the editor box.
Describe the solution you'd like
The top edge of the top line of text should be separated from the top edge of the text area by the same space that separates lines of text in the editor.
Is your feature request related to a problem? Please describe.
Depending on the selected theme, it can be hard to see what's on the first line if the characters go right up to the top edge of the editor box.
Describe the solution you'd like
The top edge of the top line of text should be separated from the top edge of the text area by the same space that separates lines of text in the editor.
Additional context
N/A