Comment Comment by zyedidia Do you remember what version that issue happened on? Were you using unicode characters or a non-UTF8 encoding? That sounds like an annoying issue and it would be great to fix it. parent zyedidia 6 years ago