Handle exception thrown when the diff margin is updating when the editor is closed (fixes #112)
Merge pull request #113 from sharwell/fix-112

Handle exception thrown when the diff margin is updating when the editor...