Fixed a bug where CustomRules loading an old file would load it as a …

…GraphS instead of a MultiGraph

zxlive/custom_rule.py

@@ -180,11 +180,10 @@ def from_json(cls, json_str: Union[str,Dict[str,Any]]) -> "CustomRule":
             d = json.loads(json_str)
         else:
             d = json_str
-        lhs_graph = GraphT.from_json(d['lhs_graph'])
-        rhs_graph = GraphT.from_json(d['rhs_graph'])
+        lhs_graph = pyzx.graph.jsonparser.json_to_graph(d['lhs_graph'],'multigraph')
+        rhs_graph = pyzx.graph.jsonparser.json_to_graph(d['rhs_graph'],'multigraph')
         # Mypy issue: https://github.com/python/mypy/issues/11673
-        if TYPE_CHECKING:
-            assert (isinstance(lhs_graph, GraphT) and isinstance(rhs_graph, GraphT))  # type: ignore
+        assert (isinstance(lhs_graph, GraphT) and isinstance(rhs_graph, GraphT))
         lhs_graph.set_auto_simplify(False)
         rhs_graph.set_auto_simplify(False)
         return cls(lhs_graph, rhs_graph, d['name'], d['description'])

zxlive/proof.py

@@ -259,15 +259,13 @@ def set_model(self, model: ProofModel) -> None:
         self.setCurrentIndex(model.index(len(model.steps), 0))
 
     def move_to_step(self, index: int) -> None:
-        print("Moving to step", index)
         idx = self.model().index(index, 0, QModelIndex())
         self.clearSelection()
         self.selectionModel().blockSignals(True)
         self.setCurrentIndex(idx)
         self.selectionModel().blockSignals(False)
         self.update(idx)
         g = self.model().get_graph(index)
-        print(g)
         self.graph_view.set_graph(g)
 
     def show_context_menu(self, position: QPoint) -> None: