Rémi Verschelde 60d9373547 Fix non-visible col number in text editor ...

The issue itself cannot be fully fixed due to the changes in 864c0e8,
but this solution makes the bug less likely to happen (it would only
happen with > 5 digits for line or column, and/or a much bigger font.
Could be further refined by taking the configured font into account...

Fixed #5890.

2016-07-24 17:12:11 +02:00

6.5 KiB

Raw Blame History

View Raw