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>
This commit is contained in:
parent
16fccd7a11
commit
b5834d70fe
8
git-gui
8
git-gui
@ -1532,13 +1532,13 @@ proc do_repack {} {
|
|||||||
console_exec $w $cmd
|
console_exec $w $cmd
|
||||||
}
|
}
|
||||||
|
|
||||||
set quitting 0
|
set is_quitting 0
|
||||||
|
|
||||||
proc do_quit {} {
|
proc do_quit {} {
|
||||||
global gitdir ui_comm quitting
|
global gitdir ui_comm is_quitting
|
||||||
|
|
||||||
if {$quitting} return
|
if {$is_quitting} return
|
||||||
set quitting 1
|
set is_quitting 1
|
||||||
|
|
||||||
set save [file join $gitdir GITGUI_MSG]
|
set save [file join $gitdir GITGUI_MSG]
|
||||||
set msg [string trim [$ui_comm get 0.0 end]]
|
set msg [string trim [$ui_comm get 0.0 end]]
|
||||||
|
Loading…
Reference in New Issue
Block a user