Merge branch 'Quantomatic:master' into master

zxcalc · Nov 18, 2023 · 318fe22 · 318fe22
2 parents 2bb5f87 + cd63c70
commit 318fe22
Show file tree

Hide file tree

Showing 2 changed files with 4 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)

diff --git a/zxlive/rewrite_action.py b/zxlive/rewrite_action.py
@@ -218,3 +218,4 @@ def update_on_selection(self) -> None:
         g = self.proof_panel.graph_scene.g
 
         self.root_item.update_on_selection(g, selection, edges)
+        self.dataChanged.emit(QModelIndex(), QModelIndex(), [])