Actually, I feel quite amazing about this editor. It's a wonderful editor I have ever seen.
But this kind of bug is quite low-level, that's why it scared me so much when I found that it empty out my file....
In passing, just want to make a suggestion on file manipulation:
There should be a setting for how to handle an outside edited file,
e.g. A: prompting for reload or not when a file is edited by others, B: silently reload
because sometimes, you are editing a file, and someone else changed that file, in the current approach, your hard work on that file will be cleared (silently).