[gedit-plugins] Fix monitoring for file event
- From: Garrett Regier <gregier src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gedit-plugins] Fix monitoring for file event
- Date: Sun, 17 Aug 2014 22:44:12 +0000 (UTC)
commit 55499560e32671775dfffc7f9340cf71a3caad3b
Author: Garrett Regier <garrettregier gmail com>
Date: Sat Jun 28 14:58:12 2014 -0700
Fix monitoring for file event
Was checking if the Gio.File was in a set which contains URIs.
plugins/git/git/windowactivatable.py | 4 ++--
1 files changed, 2 insertions(+), 2 deletions(-)
---
diff --git a/plugins/git/git/windowactivatable.py b/plugins/git/git/windowactivatable.py
index 85d789f..c48d329 100644
--- a/plugins/git/git/windowactivatable.py
+++ b/plugins/git/git/windowactivatable.py
@@ -245,7 +245,7 @@ class GitWindowActivatable(GObject.Object, Gedit.WindowActivatable):
# file created and deleted files and emit inserted and deleted
if event_type == Gio.FileMonitorEvent.CHANGED:
for f in (file, other_file):
- if f in self.files:
- self.update_location(f)
+ if f is not None and f.get_uri() in self.files:
+ self.git_status_thread.push(self.repo, f)
# ex:ts=4:et:
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]