yysun/Git-Source-Control-Provider — pull request #45 by sharwell (2013-02-07 15:37:47+00:00)
Title: Diff margin options

* Immediately apply changes to the diff margin colors when they are saved in the Fonts & Colors options
* Add an option to disable the diff margin