From b5834d70fe970ccf955378d4f6e60a51a94bbaaf Mon Sep 17 00:00:00 2001
From: "Shawn O. Pearce" <spearce@spearce.org>
Date: Sun, 12 Nov 2006 02:27:28 -0500
Subject: [PATCH] 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 <spearce@spearce.org>
---
 git-gui | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/git-gui b/git-gui
index 040581e829..73227d594a 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]]
-- 
2.11.4.GIT