Modified default keymap

2025-08-27 10:19:22 +00:00 · 2015-06-26 08:19:40 -05:00
parent 81d3817b4c
commit 797f6a8432
2 changed files with 5 additions and 1 deletions
--- a/src/sessionmanager/wxUI.py
+++ b/src/sessionmanager/wxUI.py
@@ -70,4 +70,7 @@ class sessionManagerWindow(wx.Dialog):


 def hide_configuration(self):
-  self.configuration.Hide()
+  self.configuration.Hide()
+
+ def destroy(self):
+  self.Destroy()