All pastes #942431 Raw Edit

Unnamed

public python v1 · immutable
·published 2008-03-14 14:57 UTC
rendered paste body
Index: libtovid/metagui/gui.py===================================================================--- libtovid/metagui/gui.py (revision 2439)+++ libtovid/metagui/gui.py (working copy)@@ -458,6 +458,8 @@         app.exit_button = tk.Button(app, text="Exit",                             command=lambda:self.confirm_exit(app))         app.exit_button.pack(anchor='e', side='right', fill='x')+        # handle user closing window with window manager+        self.protocol("WM_DELETE_WINDOW", lambda:self.confirm_exit(app))     def show_config(self):         """Open the GUI configuration dialog."""