From db45378165f499dcc4412b4f4b0f4ec5cbc65914 Mon Sep 17 00:00:00 2001 From: "Shawn O. Pearce" Date: Mon, 29 Jan 2007 02:56:07 -0500 Subject: [PATCH] git-gui: Allow users to edit user.name, user.email from options. Users may need to be able to alter their user.name or user.email configuration settings. If they are mostly a git-gui user they should be able to view/set these important values from within the git-gui environment, rather than needing to edit a raw text file on their local filesystem. Signed-off-by: Shawn O. Pearce --- git-gui.sh | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/git-gui.sh b/git-gui.sh index fc74d9e6ea..09c1b74e75 100755 --- a/git-gui.sh +++ b/git-gui.sh @@ -4270,6 +4270,9 @@ proc do_options {} { set optid 0 foreach option { + {t user.name {User Name}} + {t user.email {Email Address}} + {b merge.summary {Summarize Merge Commits}} {i-1..5 merge.verbosity {Merge Verbosity}} @@ -4676,6 +4679,9 @@ proc apply_config {} { set default_config(merge.summary) false set default_config(merge.verbosity) 2 +set default_config(user.name) {} +set default_config(user.email) {} + set default_config(gui.trustmtime) false set default_config(gui.diffcontext) 5 set default_config(gui.newbranchtemplate) {} -- 2.11.4.GIT