Git Diff Margin VS extension