yysun/Git-Source-Control-Provider — pull request #113 by sharwell (2013-11-21 03:44:56+00:00)
Title: Handle exception thrown when the diff margin is updating when the editor...

... is closed (fixes #112)