summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorLibravatar Shawn O. Pearce <spearce@spearce.org>2006-11-12 02:27:28 -0500
committerLibravatar Shawn O. Pearce <spearce@spearce.org>2006-11-12 02:27:28 -0500
commitb5834d70fe970ccf955378d4f6e60a51a94bbaaf (patch)
tree8b426b9a0fe70c5e6a0f085060b795a2e3ffc60e
parentgit-gui: Improve right click context menu binding on all platforms. (diff)
downloadtgif-b5834d70fe970ccf955378d4f6e60a51a94bbaaf.tar.xz
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>
-rwxr-xr-xgit-gui8
1 files 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]]