Avoid redundant margin computation when creating a new Scintilla widget
commitb0160ec162e4d34a73307d02d41e073aa96e6987
authorColomban Wendling <ban@herbesfolles.org>
Thu, 4 Feb 2021 21:49:26 +0000 (4 22:49 +0100)
committerColomban Wendling <ban@herbesfolles.org>
Thu, 4 Feb 2021 22:30:19 +0000 (4 23:30 +0100)
treeb3ee82325b5bf35b5370faf5115d39785192c606
parentd9f8cdbad58d09f0c18ca8acccb49209263018f0
Avoid redundant margin computation when creating a new Scintilla widget

Avoid recomputing margin widths 2 or 3 times when initially creating
the editing widget.  As computing the margin widths might be costly,
this can make widget creation about twice as fast.

Part of #2649.
src/editor.c