From 22fab452e3b89e1468f4fe4af12fc0a21bfc4735 Mon Sep 17 00:00:00 2001 From: David Yonge-Mallo Date: Thu, 28 Dec 2023 17:22:37 +0100 Subject: [PATCH] Fix mypy errors in proof_panel.py. --- zxlive/proof_panel.py | 11 ++++++----- 1 file changed, 6 insertions(+), 5 deletions(-) diff --git a/zxlive/proof_panel.py b/zxlive/proof_panel.py index b253b81d..9427ce52 100644 --- a/zxlive/proof_panel.py +++ b/zxlive/proof_panel.py @@ -65,11 +65,11 @@ def __init__(self, graph: GraphT, *actions: QAction) -> None: self.step_view.setCurrentIndex(self.proof_model.index(0, 0)) self.step_view.selectionModel().selectionChanged.connect(self._proof_step_selected) self.step_view.viewport().setAttribute(Qt.WidgetAttribute.WA_Hover) - self.step_view.doubleClicked.connect(self.__doubleClickHandler) + self.step_view.doubleClicked.connect(self._double_click_handler) self.splitter.addWidget(self.step_view) - def __doubleClickHandler(self, index: QModelIndex | QPersistentModelIndex): + def _double_click_handler(self, index: QModelIndex | QPersistentModelIndex) -> None: # The first row in the item list is the START step, which is not interactive if index.row() == 0: return @@ -79,7 +79,7 @@ def __doubleClickHandler(self, index: QModelIndex | QPersistentModelIndex): if ok: # Subtract 1 from index since the START step isn't part of the model old_name = self.proof_model.steps[index.row()-1].display_name - cmd = UndoableChange(self, + cmd = UndoableChange(self.graph_view, lambda: self.proof_model.rename_step(index.row()-1, old_name), lambda: self.proof_model.rename_step(index.row()-1, new_name) ) @@ -300,7 +300,7 @@ def _unfuse_w(self, v: VT, left_neighbours: list[VT], mouse_dir: QPointF) -> Non ).normalized() perp_dir = QVector2D(mouse_dir - QPointF(self.graph.row(v)/SCALE, self.graph.qubit(v)/SCALE)).normalized() - perp_dir -= QVector2D.dotProduct(perp_dir, par_dir) * par_dir + perp_dir -= par_dir * QVector2D.dotProduct(perp_dir, par_dir) perp_dir.normalize() out_offset_x = par_dir.x() * 0.5 + perp_dir.x() * 0.5 @@ -328,7 +328,8 @@ def _unfuse_w(self, v: VT, left_neighbours: list[VT], mouse_dir: QPointF) -> Non cmd = AddRewriteStep(self.graph_view, new_g, self.step_view, "unfuse") self.undo_stack.push(cmd, anim_after=anim) - def _unfuse(self, v: VT, left_neighbours: list[VT], mouse_dir: QPointF, phase: FractionLike) -> None: + def _unfuse(self, v: VT, left_neighbours: list[VT], mouse_dir: QPointF, phase: Union[FractionLike, complex]) -> \ + None: def snap_vector(v: QVector2D) -> None: if abs(v.x()) > abs(v.y()): v.setY(0.0)