[gedit/gnome-3-8] external tools: set_value instead of row_changed.

[Ignacio Casal Quinteiro <icq src gnome org>]

commit 6c1b52337cf9b2ba92939027bb0c481c25bd3e75
Author: Ignacio Casal Quinteiro <icq gnome org>
Date:   Fri Apr 19 16:58:47 2013 +0200

    external tools: set_value instead of row_changed.
    
    This way the tree model makes the magic to resort itself.
    Fixes partially https://bugzilla.gnome.org/show_bug.cgi?id=697246

 plugins/externaltools/tools/manager.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/plugins/externaltools/tools/manager.py b/plugins/externaltools/tools/manager.py
index 805eede..8bedc08 100644
--- a/plugins/externaltools/tools/manager.py
+++ b/plugins/externaltools/tools/manager.py
@@ -699,7 +699,7 @@ class Manager(GObject.Object):
 
     def tool_changed(self, tool, refresh=False):
         for row in self._tool_rows[tool]:
-            self.model.row_changed(row.get_path(), self.model.get_iter(row.get_path()))
+            self.model.set_value(self.model.get_iter(row.get_path()), self.TOOL_COLUMN, tool)
 
         if refresh and tool == self.current_node:
             self.fill_fields()