Browse code

Search in nodes and edges as well

Mickaël Salaün authored on 06/05/2015 19:45:03 • Jose Fonseca committed on 29/04/2016 23:07:22
Showing 1 changed files

  • xdot.py index 6d8168e..a24eee5 100755
... ...
@@ -2037,9 +2037,9 @@ class DotWindow(Gtk.Window):
2037 2037
         found_items = []
2038 2038
         dot_widget = self.dotwidget
2039 2039
         regexp = re.compile(entry_text)
2040
-        for node in dot_widget.graph.nodes:
2041
-            if node.search_text(regexp):
2042
-                found_items.append(node)
2040
+        for element in dot_widget.graph.nodes + dot_widget.graph.edges:
2041
+            if element.search_text(regexp):
2042
+                found_items.append(element)
2043 2043
         return found_items
2044 2044
 
2045 2045
     def textentry_changed(self, widget, entry):