Bug? Pasting from MS Edge

[lemonisdead]

Hello,
Pasting code from MS Edge (code copied from the forum) inserts some hidden chars instead of spaces.

Doesn't do the same from Opera or Chrome

 

[Erel]

I've edited the title. It is not specific to v6.30.