Random characters being deleted when switching between files

[piecesofuk]

p5.js version

1.6.0

What is your operating system?

Other (specify if possible)

Web browser and version

Chrome Version 113.0.5672.134 (Official Build) (64-bit)

Actual Behavior

I'm editing on a Chromebook, os version as above.

I've noticed this has been happening for a while but wasn't sure if it was just random: when I was switching between files it seemed as if characters were being deleted at random.

Expected Behavior

Characters should not be randomly disappearing

Steps to reproduce

The following steps appear to reproduce this behaviour:

1. create a new sketch
2. open index.html
3. make an edit that generates an error, for example I've add a < at the start of line 1
4. move to sketch.js
5. place the cursor at the end of the file
6. note the first five characters of line 5 are underlined
7. hit return to create a new line
8. those five characters are deleted

[praveen-rikhari]

@piecesofuk is this issue still opened? If Yes, can i work on this.