diff --git a/git-gui.sh b/git-gui.sh
index 21033cb0bb373be19e8593683d88ebb33cba73d7..789c177b3b2eeb90a61ec94fd3b5e0f03773fa63 100755 (executable)
--- a/git-gui.sh
+++ b/git-gui.sh
@@ -3376,6 +3376,7 @@ foreach {n c} {0 black 1 red4 2 green4 3 yellow4 4 blue4 5 magenta4 6 cyan4 7 gr
$ui_diff tag configure clri3$n -background $c
}
$ui_diff tag configure clr1 -font font_diffbold
+$ui_diff tag configure clr4 -underline 1
$ui_diff tag conf d_info -foreground blue -font font_diffbold