Add proof step renames to undo stack

zxlive/common.py

@@ -1,16 +1,15 @@
 import os
 from enum import IntEnum
-from typing import Final
+from typing import Final, Callable
 from typing_extensions import TypeAlias
 
 from PySide6.QtCore import QSettings
-from PySide6.QtGui import QColor
+from PySide6.QtGui import QColor, QUndoCommand
 
 import pyzx
 
 _ROOT = os.path.abspath(os.path.dirname(__file__))
 
-
 def get_data(path: str) -> str:
     return os.path.join(os.environ.get("_MEIPASS", _ROOT), path)
 

zxlive/proof.py

@@ -129,6 +129,7 @@ def rename_step(self, index: int, name: str):
         # Must create a new Rewrite object instead of modifying current object
         # since Rewrite inherits NamedTuple and is hence immutable
         self.steps[index] = Rewrite(name, old_step.rule, old_step.diff)
+        self.dataChanged.emit(QModelIndex(), QModelIndex(), [])
 
         # Rerender the proof step otherwise it will display the old name until
         # the cursor moves

zxlive/proof_panel.py

@@ -18,7 +18,7 @@
 
 from . import animations as anims
 from .base_panel import BasePanel, ToolbarSection
-from .commands import AddRewriteStep, GoToRewriteStep, MoveNodeInStep
+from .commands import AddRewriteStep, GoToRewriteStep, MoveNodeInStep, UndoableChange
 from .common import (ET, VT, GraphT, get_data,
                      pos_from_view, pos_to_view, colors)
 from .dialogs import show_error_msg