syntax: give the statistics part of a git patch a different color

Also, be more selective when coloring a git diff line.  And color
an svn index line too.
This commit is contained in:
Benno Schulenberg 2016-12-10 17:46:10 +01:00
parent a4044a7e5d
commit fd3423f79a
1 changed files with 5 additions and 2 deletions

View File

@ -14,10 +14,13 @@ color brightblue "^ .*"
# Deleted lines.
color brightred "^-.*"
# Header lines.
color magenta "^(Index:|diff)[[:blank:]].*"
# File names and dates.
color red "^---.*"
color green "^\+\+\+.*"
# Line numbers.
color brightyellow "^@@.*"
# Header lines.
color magenta "^diff.*"
# Statistics.
color cyan start="^---$" end="^$"