[gedit] tools: pass priority to child_watch_add



commit e9b173cffc227d34334dad004575184685635257
Author: Ignacio Casal Quinteiro <icq gnome org>
Date:   Tue Apr 2 09:12:50 2013 +0200

    tools: pass priority to child_watch_add

 plugins/externaltools/tools/capture.py |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/plugins/externaltools/tools/capture.py b/plugins/externaltools/tools/capture.py
index 1614f5b..c2609c5 100644
--- a/plugins/externaltools/tools/capture.py
+++ b/plugins/externaltools/tools/capture.py
@@ -126,7 +126,7 @@ class Capture(GObject.Object):
                 self.idle_write_id = GLib.idle_add(self.idle_write_chunk)
 
         # Wait for the process to complete
-        GLib.child_watch_add(self.pipe.pid, self.on_child_end)
+        GLib.child_watch_add(GLib.PRIORITY_DEFAULT, self.pipe.pid, self.on_child_end)
 
     def idle_write_chunk(self):
         if not self.pipe:


[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]