[gedit-plugins] git: Avoid caching the repo all the way up to the workdir every time

[Garrett Regier <gregier src gnome org>]

commit 01e386b0c823f98cd92779b698dc5752a1578341
Author: Garrett Regier <garrettregier gmail com>
Date:   Sun Aug 17 16:40:57 2014 -0700

    git: Avoid caching the repo all the way up to the workdir every time
    
    This could be expensive on a repository with deeply nested
    directories.

 plugins/git/git/appactivatable.py |    5 +++++
 1 files changed, 5 insertions(+), 0 deletions(-)
---
diff --git a/plugins/git/git/appactivatable.py b/plugins/git/git/appactivatable.py
index 217643f..3e76aca 100644
--- a/plugins/git/git/appactivatable.py
+++ b/plugins/git/git/appactivatable.py
@@ -98,6 +98,11 @@ class GitAppActivatable(GObject.Object, Gedit.AppActivatable):
             dir_location = dir_location.get_parent()
             dir_uri = dir_location.get_uri()
 
+            # Avoid caching the repo all the
+            # way up to the workdir each time
+            if dir_uri in self.__repos:
+                break
+
         return repo
 
 # ex:ts=4:et: