Steps to Reproduce:

1. Open https://zh.wikipedia.org/w/index.php?title=%E4%BA%9A%E6%B4%B2&action=edit&oldid=64606798.
2. Run the mw.config.set('wgCodeMirrorEnableBracketMatching', true); in browser console, or other methods to enable it.
3. Find the == 国家列表 ==, then put the caret in that big wiki table code, make sure that {| is highlighted.
4. Try clicking to drag or jump the scroll bar.

Actual Results:

1. The {| was de-highlight styling when I clicked the left mouse button on the scroll bar in the editing area.
2. If I use the mouse wheel, it is normal, I may find a matching closing bracket (or vice versa).

Expected Results:

1. Keep the highlight style if the user just manipulates the scroll bar in the editing area.