If someone else saves, save the file.
Prevent ignored things from being added accidentally by people who open and save them.
Add a setting so that people can disable mirrored saves
Merge pull request #135 from Floobits/mirrored_saves

Mirrored saves