p5.js-web-editor icon indicating copy to clipboard operation
p5.js-web-editor copied to clipboard

Text editor is slow when editing files of 100+ lines

Open McGittyHub opened this issue 6 years ago • 3 comments

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.

McGittyHub avatar Apr 14 '20 11:04 McGittyHub

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.

welcome[bot] avatar Apr 14 '20 11:04 welcome[bot]

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

catarak avatar Apr 15 '20 20:04 catarak

I was not able to reproduce !

sagar-joshi avatar Sep 21 '23 06:09 sagar-joshi