From cd63c70686e03240d93e7303052ffcb746903913 Mon Sep 17 00:00:00 2001 From: Boldi Date: Wed, 15 Nov 2023 19:00:51 +0000 Subject: [PATCH] Include `selected_edges` in `ProofPanel.parse_selection` --- zxlive/proof_panel.py | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/zxlive/proof_panel.py b/zxlive/proof_panel.py index 92526dc5..8e8a2896 100644 --- 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)