Add settings about git diff-highlight