Description Claude Petitpierre 2021-07-31 02:53:20 EDT

When formatting .js files, the generic text editor sometimes deletes characters in my file, mainly in JS objects. I could reproduce that in the following example:

function controleFil() {
	barre = barre
		.subtract(cylinder({r:0.5*inte,fn:120}))
	return barre
}

Store that example in a .js file and format it (Source > Format or CMD SHIFT F.) In my case, inexistent errors are flagged. If I put the cursor just before the symbol inte and hit the delete key, the colon after r disappears.

However, if I undo the second formatting, close and reopen the file, the errors disappear.

Sometimes, this phenomenon randomly occurs not on the line I am editing.

Thanks for studying the problem, Claude