Include selected_edges in ProofPanel.parse_selection

zxcalc · Nov 15, 2023 · cd63c70 · cd63c70
1 parent 36ff753
commit cd63c70
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/zxlive/proof_panel.py b/zxlive/proof_panel.py
@@ -128,14 +128,14 @@ def init_rewrites_bar(self) -> None:
 
     def parse_selection(self) -> tuple[list[VT], list[ET]]:
         selection = list(self.graph_scene.selected_vertices)
+        edges = set(self.graph_scene.selected_edges)
         g = self.graph_scene.g
-        edges = []
         for e in g.edges():
             s,t = g.edge_st(e)
             if s in selection and t in selection:
-                edges.append(e)
+                edges.add(e)
 
-        return selection, edges
+        return selection, list(edges)
 
     def _vert_moved(self, vs: list[tuple[VT, float, float]]) -> None:
         cmd = MoveNodeInStep(self.graph_view, vs, self.step_view)