Nice app, would be nicer if the text line height can be adjusted
The app is really nice and simple! I really like it. It would be nicer if there are options to adjust the line height. The current behavior is that the line height seems to be fixed no matter what size of the font is, so does the cursor height.