There are at least two places I think it's better to round it instead of truncating.
One in Editor::TextWidth() used by client to measure text width.
Another in EditView::FormatRange() for the lineNumberWidth.
The others in drawing styled text will need investigate too.
Related bug by truncating is [bugs:#2173].
lineNumberWidth is over 5 characters so its unlikely to be significant.
Editor::TextWidth may help some applications.
Committed change to Editor::TextWidth as [3665e2].
Related
Commit: [3665e2]
Committed change to Editor::TextWidth as [3665e2].
Related
Commit: [3665e2]