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>

diff --git a/git-gui b/git-gui
index 040581e8296ad262ed4abfe383b729a7cfb17830..73227d594af3c1ecc2fb3c58eb9c67b30865dfc2 100755 (executable)
--- 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]]