Skip to content

Raise the gutter DigitCount limit from 12 to 24 - #4

Open
TetzkatLipHoka wants to merge 1 commit into
VSoftTechnologies:masterfrom
TetzkatLipHoka:feat/gutter-digit-count-24
Open

Raise the gutter DigitCount limit from 12 to 24#4
TetzkatLipHoka wants to merge 1 commit into
VSoftTechnologies:masterfrom
TetzkatLipHoka:feat/gutter-digit-count-24

Conversation

@TetzkatLipHoka

Copy link
Copy Markdown

SetDigitCount clamped to MinMax(Value, 2, 12), a limit from the time when
the line number band could only ever show a line number. With
OnGutterGetText the band holds arbitrary text - hex offsets, symbol names -
and gbkLineNumbers.RealWidth is computed from DigitCount, not from the text
the event returns, so anything longer is clipped. A 16 digit offset needs
DigitCount = 16.

Nothing in the class depends on the value: it only feeds a Max(), a
Format('%*d') and one multiplication. The limit is raised rather than
removed so that a typo cannot blow up the gutter.

Built with 13.1.


🤖 Generated with Claude Code

SetDigitCount clamped to MinMax(Value, 2, 12), a limit from the time when
the line number band could only ever show a line number. With
OnGutterGetText the band holds arbitrary text - hex offsets, symbol names -
and gbkLineNumbers.RealWidth is computed from DigitCount, not from the text
the event returns, so anything longer is clipped. A 16 digit offset needs
DigitCount = 16.

Nothing in the class depends on the value: it only feeds a Max(), a
Format('%*d') and one multiplication. The limit is raised rather than
removed so that a typo cannot blow up the gutter.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant