As a solution to T174480, the extension sets the option "viewportMargin: Infinity" for the edit box. However, from the upstream side, this is not something CodeMirror developer recommends (reference). It could be particularly problematic for mobile browsers, such as T197502. There is also a recent desktop browser performance issue T303232, which shows a condition where the browser rendering can be notably slow on long articles. Therefore, I am going to reiterate some arguments from past discussion which were unfortunately declined, and to request a change back to a smaller viewportMargin.

The first argument comes from T174480#3566576. As a similar extension, CodeEditor does not support browser's native search while it provides a unique search UI and bind it to Ctrl-F. Actually, a unique search UI might be unnecessary because both CodeEditor and CodeMirror are compatible with jquery.textSelection. This means the WikiEditor (2010) search dialog works perfectly for them. I do not completely agree with the comment made in T174480#3574863 as a reason against this solution, because the WikiEditor (2010) search dialog is not only draggable but also resizable. These handy features make the dialog very flexible in the layout. Regarding the keypress "Enter" behavior, it can be easily modified if really necessary.

The second possibility is proposed in T174480#3578800 and committed in https://gerrit.wikimedia.org/r/574855. It seems promising to perform some kind of optimization like this. However, I am not familiar with performance testing, so I will leave it for other skilled developers to evaluate this approach.

I am new to this community, so please feel free to reopen T174480, for example, instead of this new task if that is the usual way to restart the discussion.