From a0a46d43890227ae473e67c04e97cb9cf09deead Mon Sep 17 00:00:00 2001
From: Claydough6 <claybell01@gmail.com>
Date: Wed, 5 May 2021 00:57:42 -0400
Subject: [PATCH] No more themes

---
 requirements.txt           | 1 -
 resolution_gui/gui_main.py | 3 +--
 2 files changed, 1 insertion(+), 3 deletions(-)

diff --git a/requirements.txt b/requirements.txt
index a6ef5d1..cd68c71 100644
--- a/requirements.txt
+++ b/requirements.txt
@@ -1,2 +1 @@
-ttkthemes
 pyprover
\ No newline at end of file
diff --git a/resolution_gui/gui_main.py b/resolution_gui/gui_main.py
index 924f923..9a4e203 100644
--- a/resolution_gui/gui_main.py
+++ b/resolution_gui/gui_main.py
@@ -1,6 +1,5 @@
 from tkinter import *
 from tkinter import ttk
-from ttkthemes import ThemedTk
 from tkinter import filedialog
 
 from resolution_canvas import ResolutionCanvas
@@ -18,7 +17,7 @@ def __init__(self):
         self.selected_clause_id = None
 
         # create the root window
-        self.root = ThemedTk()
+        self.root = Tk()
         self.root.title("Graphical Resolution " + str(self.__version__))
         self.root.option_add('*tearOff', FALSE)  # so the menu doesn't tear