|
Just a thought--I've not looked into the code at all--but I'm wondering if it would be possible to come at this thing through the line-numbering widget? If we give it a Qt objectName, could we not change that widget's spacing or padding via qss (or perhaps come at it programmatically).
Then again, it's entirely likely that this is a "tail wagging the dog" situation (where the metrics of the font used in the QPlainTextWidget dictate the line-height of the LineNumbering area).
Just a thought.
|