From: Shawn O. Pearce <spearce@spearce.org>
Date: Mon, 29 Jan 2007 07:56:07 +0000 (-0500)
Subject: git-gui: Allow users to edit user.name, user.email from options.
X-Git-Tag: gitgui-0.6.0~27
X-Git-Url: https://git.tokkee.org/?a=commitdiff_plain;h=db45378165f499dcc4412b4f4b0f4ec5cbc65914;p=git.git

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 <spearce@spearce.org>
---

diff --git a/git-gui.sh b/git-gui.sh
index fc74d9e6e..09c1b74e7 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) {}