summaryrefslogtreecommitdiff
path: root/git-gui.sh
diff options
context:
space:
mode:
authorLibravatar Pat Thoyts <patthoyts@users.sourceforge.net>2011-11-29 09:27:17 +0000
committerLibravatar Pat Thoyts <patthoyts@users.sourceforge.net>2011-11-30 14:37:26 +0000
commitaf867683345838f1adc606618e873ae4387a3c81 (patch)
tree940a8829d2c990a6626df098c03cdae3b5bd0072 /git-gui.sh
parentgit-gui: set whitespace warnings appropriate to this project (diff)
downloadtgif-af867683345838f1adc606618e873ae4387a3c81.tar.xz
git-gui: added config gui.gcwarning to disable the gc hint message
On startup in multicommit mode git-gui checks to see if the repository has a lot of objects. If so it shows a dialog suggesting gc be run. This adds 'gui.gcwarning' as a control config variable to allow this to be disabled. The default is true (the warning is shown). Setting this false will prevent the check being done. Signed-off-by: Pat Thoyts <patthoyts@users.sourceforge.net>
Diffstat (limited to 'git-gui.sh')
-rwxr-xr-xgit-gui.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/git-gui.sh b/git-gui.sh
index c190cbe23f..8d95dda953 100755
--- a/git-gui.sh
+++ b/git-gui.sh
@@ -3894,7 +3894,7 @@ after 1 {
$ui_comm configure -state disabled -background gray
}
}
-if {[is_enabled multicommit]} {
+if {[is_enabled multicommit] && ![is_config_false gui.gcwarning]} {
after 1000 hint_gc
}
if {[is_enabled retcode]} {