> 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 or view it on GitHub: https://github.com/geany/geany/pull/1738#issuecomment-716128828
