No deletions thankfully! Still get occasional error messages when saving though.
Right now I think we should tell win10 users to run as administrators as a workaround. In the current editor we do file ops almost exclusively through the eclipse resource system, which is also responsible for the error messages. To my knowledge, we only delete files (still through that system) as a part of the actual delete command. The underlying issue might of course be in our code, but it could also be from eclipse. In any case, I think it will take quite some time to track down, given how rare it is.
In Editor2, we do things completely differently, so it’s probably better to make sure none of these problems arise there.
2 Likes