What is the problem?
When I have CodeMirror enabled, if I resize the textarea, the width of div.CodeMirror reduces slightly (and the scrollbar moves to the left).
I can reproduce on Firefox and Chromium. Only when RTP is not enabled.
Steps to reproduce problem
- Edit a page (e.g. https://en.wikipedia.beta.wmflabs.org/w/index.php?title=BeforeEach-name-0.20468147312084506-I%C3%B1t%C3%ABrn%C3%A2ti%C3%B4n%C3%A0liz%C3%A6ti%C3%B8n&action=edit)
- Turn on the CodeMirror (little pen icon in the menu)
- Inspect the .CodeMirror element, record the width (using devtools)
- Resize the textarea (with the little thingy in the bottom left)
- Inspect the .CodeMirror element again, compare the width with what you recorded at 3
Expected behavior: They should be the same
Observed behavior: They are not
Environment
Browser: Firefox 91, Chromium 87
Wiki(s): https://en.wikipedia.beta.wmflabs.org MediaWiki 1.39.0-alpha (0a0e6e2) 13:17, 12 April 2022.
Editor, if applicable: WikiEditor 0.5.3 (85098ce) 06:15, 12 April 2022. CodeMirror 4.0.0 (758dd2c) 06:13, 12 April 2022.