Plugin Creator line number gutter width doesn't auto-increase enough

• May 8, 2019 - 21:38
Reported version
3.0
Priority
P2 - Medium
Type
Graphical (UI)
Frequency
Once
Severity
S4 - Minor
Reproducibility
Always
Status
duplicate
Regression
Yes
Workaround
No
Project

Found in both 3.0.5 and 3.1-beta2 on Windows 10 64-bit official builds

Open Plugin Creator
Create new plugin
Keep Enter/Return key pressed.

When going over 100 lines you'll only see the last two digits of the number. As the console shows warnings/errors with their line numbers; not being able to see this number makes locating the error harder.

If you go over 1000 lines, then the 3rd digit becomes (partially) visible.

So it seems as if gutter width is recalculated, but somehow since v3 for one less character than needed. The gutter width expands correctly in v2 (2.3.2 portable)