[PATCH] git-gui: Perform rescan on window focus-in

From: Pratyush Yadav <me@yadavpratyush.com>
Date: Jul 28, 2019, 15:17 UTC
Message-ID: <20190728151726.9188-1-me@yadavpratyush.com>

If any changes are made to the tree while git-gui is open, the user has to manually rescan to see those changes in the gui. With this change, a rescan will be performed whenever the window comes in focus, removing the need for manual rescans in most cases. A manual rescan will still be needed when something makes changes to the tree while git-gui is still in focus.

Signed-off-by: Pratyush Yadav <me@yadavpratyush.com>
---
 git-gui/git-gui.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/git-gui/git-gui.sh b/git-gui/git-gui.sh
index 6de74ce639..8ca2033dc8 100755
--- a/git-gui/git-gui.sh
+++ b/git-gui/git-gui.sh
@@ -3849,6 +3849,7 @@ if {[is_enabled transport]} {
 }
 
 bind .   <Key-F5>     ui_do_rescan
+bind .   <FocusIn>    do_rescan
 bind .   <$M1B-Key-r> ui_do_rescan
 bind .   <$M1B-Key-R> ui_do_rescan
 bind .   <$M1B-Key-s> do_signoff

-- 
2.22.0