Double clicking Hadamard edge turns it into H-box in proof mode

zxlive/eitem.py

@@ -161,6 +161,15 @@ def mouseReleaseEvent(self, e: QGraphicsSceneMouseEvent) -> None:
         self.is_mouse_pressed = False
         self.graph_scene.selection_changed_custom.emit()
 
+    def mouseDoubleClickEvent(self, e: QGraphicsSceneMouseEvent) -> None:
+        super().mouseDoubleClickEvent(e)
+        if self.is_animated:
+            e.ignore()
+            return
+        scene = self.scene()
+        if TYPE_CHECKING: assert isinstance(scene, GraphScene)
+        scene.edge_double_clicked.emit(self.e)
+
 
 
 # TODO: This is essentially a clone of EItem. We should common it up!

zxlive/graphscene.py

@@ -52,6 +52,7 @@ class GraphScene(QGraphicsScene):
 
     # Triggers when an edge is dragged. Actual types: EItem, float (old curve_distance), float (new curve_distance)
     edge_dragged = Signal(object, object, object)
+    edge_double_clicked = Signal(object)  # Actual type: ET
 
     selection_changed_custom = Signal()
 

zxlive/proof_panel.py

@@ -38,6 +38,7 @@ def __init__(self, graph: GraphT, *actions: QAction) -> None:
         self.graph_scene = GraphScene()
         self.graph_scene.vertices_moved.connect(self._vert_moved)
         self.graph_scene.vertex_double_clicked.connect(self._vert_double_clicked)
+        self.graph_scene.edge_double_clicked.connect(self._edge_double_clicked)
 
         self.graph_view = ProofGraphView(self.graph_scene)
         self.splitter.addWidget(self.graph_view)
@@ -421,4 +422,12 @@ def _vert_double_clicked(self, v: VT) -> None:
             pyzx.hrules.replace_hadamard(new_g, v)
             cmd = AddRewriteStep(self.graph_view, new_g, self.step_view, "Turn Hadamard into edge")
             self.undo_stack.push(cmd)
-            return
+            return
+
+    def _edge_double_clicked(self, e: VT) -> None:
+        """When an edge is double clicked, we change it to an H-box if it is a Hadamard edge."""
+        new_g = copy.deepcopy(self.graph)
+        if new_g.edge_type(e) == EdgeType.HADAMARD:
+            pyzx.hrules.had_edge_to_hbox(new_g, e)
+            cmd = AddRewriteStep(self.graph_view, new_g, self.step_view, "Turn edge into Hadamard")
+            self.undo_stack.push(cmd)