I thought Scintilla re-sized the numbers margins depending on the maximum number of digits?

Scintilla doesn't size the margins itself, we have to tell it the pixel size. We calculate it, but we forgot to update that value when changing font.

But yeah its a different problems, not part of this.

It is related as not updating this fails to resize the fold margin size when changing font as well.

—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or unsubscribe.