git-gui: Disable pull menu items when the index is locked.
authorShawn O. Pearce <spearce@spearce.org>
Wed, 8 Nov 2006 02:43:16 +0000 (21:43 -0500)
committerShawn O. Pearce <spearce@spearce.org>
Wed, 8 Nov 2006 04:48:22 +0000 (23:48 -0500)
commit0a462d67761b8178f09e23ef85a9298d1e19a2eb
tree7a1166397c8c5f530f71c7530accc301eace25b1
parent2bc5b3487e47dc6caa8d543fc50a944e80651c59
git-gui: Disable pull menu items when the index is locked.

If we have the index locked then no pull command is allowed to proceed
(as it would fail to get the index lock itself).  So disable the pull
menu items when we are doing any index based operations.

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