Subscripts affect line height

[nerrons]

Hi there. When have company-coq-features/smart-subscripts turned on, the difference between the line height of the lines with subscripts and without subscripts is pretty big, as shown in the README and my own screenshots. Is there a way to use smart subscripts with consistent line height throughout the whole file? Perhaps by trimming the bottom part of the subscripts?

I tried to change the Height property of the Company Coq Features/Smart Subscripts Face to a smaller value, and change the raise value in company-coq-features/smart-subscripts--subscript-spec in company-coq.el to 0. But if done this way, the baseline of the normal text and subscripts are the same, making them not distinguishable from each other, which is still not ideal.

The default settings:

The settings I tried:

[cpitclaudel]

Yup, I'm aware of the issue; but unfortunately I don't know a solution — what you did is essentially what I was going to offer.