git-gui: add config value gui.diffopts for passing additional diff options
Signed-off-by: Tilman Vogel <tilman.vogel@web.de> Signed-off-by: Pat Thoyts <patthoyts@users.sourceforge.net>
This commit is contained in:
@ -309,6 +309,7 @@ proc start_show_diff {cont_info {add_opts {}}} {
|
||||
|
||||
lappend cmd -p
|
||||
lappend cmd --color
|
||||
set cmd [concat $cmd $repo_config(gui.diffopts)]
|
||||
if {$repo_config(gui.diffcontext) >= 1} {
|
||||
lappend cmd "-U$repo_config(gui.diffcontext)"
|
||||
}
|
||||
|
Reference in New Issue
Block a user