From ac9eef40f6bfaa9c8491327fd478efc03dbf50b5 Mon Sep 17 00:00:00 2001
From: David Yonge-Mallo <dlyongemallo@users.noreply.github.com>
Date: Thu, 16 Nov 2023 13:23:45 +0100
Subject: [PATCH] Remove some unused variables and imports.

---
 zxlive/mainwindow.py | 8 +-------
 1 file changed, 1 insertion(+), 7 deletions(-)

diff --git a/zxlive/mainwindow.py b/zxlive/mainwindow.py
index 655332de..8480772f 100644
--- a/zxlive/mainwindow.py
+++ b/zxlive/mainwindow.py
@@ -16,7 +16,7 @@
 from __future__ import annotations
 
 import copy
-from typing import Callable, Optional, TypedDict
+from typing import Callable, Optional
 
 from PySide6.QtCore import (QByteArray, QEvent, QFile, QFileInfo, QIODevice,
                             QSettings, QTextStream, Qt)
@@ -24,13 +24,10 @@
 from PySide6.QtWidgets import (QDialog, QFormLayout, QMainWindow, QMessageBox,
                                QTableWidget, QTableWidgetItem, QTabWidget,
                                QVBoxLayout, QWidget)
-from pyzx import extract_circuit, simplify
-from pyzx.graph.base import BaseGraph
 
 import pyperclip
 
 from .base_panel import BasePanel
-from .commands import AddRewriteStep
 from .common import GraphT, get_data, to_tikz, from_tikz
 from .construct import *
 from .custom_rule import CustomRule, check_rule
@@ -42,7 +39,6 @@
                       export_proof_dialog)
 from zxlive.settings_dialog import open_settings_dialog
 
-from .editor_base_panel import EditorBasePanel
 from .edit_panel import GraphEditPanel
 from .proof_panel import ProofPanel
 from .rule_panel import RulePanel
@@ -52,8 +48,6 @@
 class MainWindow(QMainWindow):
     """The main window of the ZXLive application."""
 
-    edit_panel: GraphEditPanel
-    proof_panel: ProofPanel
     rewrite_form: QFormLayout
     left_graph: Optional[GraphT]
     right_graph: Optional[GraphT]