Feature Description
When the user triggers the save command, the pint also formats the file. However, if the user triggers the save command concurrently, a conflict arises between the saved version and the pint-formatted version.
Therefore, a delay should resolve the issue, I believe.
