Tidy some stuff in webdav events

Closes #97 
I thought this was better because the user might have switched to the Files app by this point and then they might not see an alert within the window. But I can do that.