Text editor is slow when editing files of 100+ lines

[McGittyHub]

Nature of issue?

• Found a bug

Details about the bug:

• Web browser and version: Chrome 81
• Operating System: Win10
• Steps to reproduce this bug: look at title.

[welcome]

Welcome! 👋 Thanks for opening your first issue here! And to ensure the community is able to respond to your issue, be sure to follow the issue template if you haven't already.

[catarak]

Thanks for reporting! I have noticed this. Would be super useful to dig in and figure out if there's a solution here.

[sagar-joshi]

I was not able to reproduce !