Troubleshooting

The height of a line changes when the cursor hovers it

If you experience something like this, then you have the following options:

1. your font does not use automatic ligatures replacement and then you should try to disable ligatures splitting. If this does not work, please file a bug report.
2. your font does support ligatures, and you don't want them: see the previous point.
3. your font does support ligatures, and you want them: please file a bug report.