commit 13597df9dffdcbd3091aac224d20b1924c563bde Author: Nick Treleaven nick.treleaven@btinternet.com
[...] Windows does not allow filenames to contain Unix path separators so this should be safe.
Windows treats '/' as directory separator starting with DOS 5.0 IIRC. 100% safe to convert, since a directory separator can never be part of the file name.
It would be good to convert any '/' in the messages window filenames too, for document_find_*() to work properly. OTOH, it may be easier to write a real utils_filenamecmp() which assumes '/' == '\' under Win~1.