From f68d52fba583207483d95e5e93e3266325f3c9cb Mon Sep 17 00:00:00 2001
From: Cas Cremers <cas.cremers@gmail.com>
Date: Tue, 27 Oct 2020 23:51:42 +0100
Subject: [PATCH] Final wxPython4 warning fixed that arose from an unused
 overwritten function.

---
 gui/scyther-gui.py | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/gui/scyther-gui.py b/gui/scyther-gui.py
index c292b32..4edc894 100755
--- a/gui/scyther-gui.py
+++ b/gui/scyther-gui.py
@@ -234,8 +234,9 @@ class ScytherApp(wx.App):
 
         return True
 
-    def OnExit(self):
-        """ Tear down """
+    #def OnExit(self):
+    #    """ Tear down """
+    #    # Currently unused, but ought to return the same integer as the base class if overridden.
 
 
 #---------------------------------------------------------------------------