git-gui: Force an update-index --refresh on unchanged files.
authorShawn O. Pearce <spearce@spearce.org>
Mon, 22 Jan 2007 22:10:38 +0000 (17:10 -0500)
committerShawn O. Pearce <spearce@spearce.org>
Mon, 22 Jan 2007 22:10:38 +0000 (17:10 -0500)
commit46aaf90b4901cbae9da9d59ba8cc914dcfc38aa3
tree18169696c0297867dd35948d1938703adaf2442f
parent8ce03164842d250f1cf1dfbf9a245fd030195e24
git-gui: Force an update-index --refresh on unchanged files.

Its possible for external programs to update file modification dates of
many files within a repository.  I've seen this on Windows with a popular
virus scanner, sadly enough.  If the user has Trust File Modification
Timestamp enabled and the virus scanner touches a large number of files
it can be annoying trying to clear them out of the 'Changed But Not
Updated' file list by clicking on them one at a time to load the diff.

So now we force a rescan as soon as one such file is found, and for
just that rescan we disable the Trust File Modification Timestamp option
thereby allowing Git to update the modification dates in the index.

Signed-off-by: Shawn O. Pearce <spearce@spearce.org>
git-gui.sh