fix: left LineNumberMargin in text editor did not update its width
#4340
| Job | Run time |
|---|---|
| 6s | |
| 3m 2s | |
| 3m 19s | |
| 3m 19s | |
| 2m 32s | |
| 3m 27s | |
| 3m 13s | |
| 29s | |
| 56s | |
| 25s | |
| 54s | |
| 29s | |
| 22s | |
| 22m 33s |