Stephan van Hulst wrote:This is just a guess, but when you were editing the file, you might have used Save As... instead of Save when you tried to save the file, and accidentally renamed the file.
Or saved it to a different directory.
If it happens again, look at the time stamp on the file in your cmd window when you do a dir. Then edit and save the file again (you don't have to change much - just put in then delete a space so the file has "changed" then save it). Then do another dir and see if the timestamp changed. If not, they you're saving it somewhere else...
There are only two hard things in computer science: cache invalidation, naming things, and off-by-one errors