diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2016-07-24 17:11:32 +0200 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2016-07-24 17:12:11 +0200 |
| commit | 60d937354790ac025ba0caef17a3ca7c81244492 (patch) | |
| tree | 01124c89e30c0d81683f277ff42f0ec0c0435a5e /tools/addheader/addheader.py | |
| parent | 308d405c31f83ce538fea76d6e88931718afc012 (diff) | |
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.
Diffstat (limited to 'tools/addheader/addheader.py')
0 files changed, 0 insertions, 0 deletions