From: Shawn O. Pearce Date: Sun, 12 Nov 2006 07:27:28 +0000 (-0500) Subject: git-gui: Rename quitting global to is_quitting. X-Git-Tag: gitgui-0.6.0~243 X-Git-Url: http://git.tremily.us/?a=commitdiff_plain;h=b5834d70fe970ccf955378d4f6e60a51a94bbaaf;p=git.git git-gui: Rename quitting global to is_quitting. This is a boolean value; naming it as such is a good thing. Signed-off-by: Shawn O. Pearce --- diff --git a/git-gui b/git-gui index 040581e82..73227d594 100755 --- a/git-gui +++ b/git-gui @@ -1532,13 +1532,13 @@ proc do_repack {} { console_exec $w $cmd } -set quitting 0 +set is_quitting 0 proc do_quit {} { - global gitdir ui_comm quitting + global gitdir ui_comm is_quitting - if {$quitting} return - set quitting 1 + if {$is_quitting} return + set is_quitting 1 set save [file join $gitdir GITGUI_MSG] set msg [string trim [$ui_comm get 0.0 end]]