[gedit/gnome-3-8] Bug 697044 - Fix removing an external tool

[Garrett Regier <gregier src gnome org>]

commit ce237ca17434e77385b093af475b7ce11c89e1a3
Author: Garrett Regier <garrettregier gmail com>
Date:   Fri Jun 14 23:45:05 2013 -0700

    Bug 697044 - Fix removing an external tool
    
    The code checks if the result with `not` which returns
    True for an iterator, but False for an empty list.

 plugins/externaltools/tools/manager.py |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/plugins/externaltools/tools/manager.py b/plugins/externaltools/tools/manager.py
index d4118a9..dafbd25 100644
--- a/plugins/externaltools/tools/manager.py
+++ b/plugins/externaltools/tools/manager.py
@@ -732,7 +732,7 @@ class Manager(GObject.Object):
             if language in node.languages:
                 node.languages.remove(language)
 
-            self._tool_rows[node] = filter(lambda x: x.valid(), self._tool_rows[node])
+            self._tool_rows[node] = [x for x in self._tool_rows[node] if x.valid()]
 
             if not self._tool_rows[node]:
                 del self._tool_rows[node]