No more themes

Bram-Hub · May 5, 2021 · a0a46d4 · a0a46d4
1 parent ee5c9a1
commit a0a46d4
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 3 deletions.
diff --git a/requirements.txt b/requirements.txt
@@ -1,2 +1 @@
-ttkthemes
 pyprover
diff --git 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