CommandView: do not change caret size with config.line_height

[jgmdev]

Fixes issue as shown on image

[Guldoman]

Should we just remove line_height as a config option? Ideally we'd deduce it from the default font size.
Maybe we should introduce something like style.padding.line to allow increasing/decreasing the computed line height.

[TorchedSammy]

i would say no against removing the line height option. i know someone who likes it and i myself think it's a nice thing. padding between lines is different and imo worse to read than just having a different line height

[Guldoman]

Padding would be in the line. As in not margin.

The end result would be the same, but instead of having a configurable total line height, you'd have a calculated line height + the padding.

[TorchedSammy]

yeah makes sense, but the line height is consistent with smaller fonts while the padding isn't so i would still say to leave it

[jgmdev]

config.line_height works pretty well when zooming in and out since it is a ratio proportional to the font size, I guess that a padding could work the same when applying SCALE to it but that is out of scope for this PR, anyways merging this fix.