diff options
| -rwxr-xr-x | fetchmailconf | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/fetchmailconf b/fetchmailconf index 7bfefe51..daf8c220 100755 --- a/fetchmailconf +++ b/fetchmailconf @@ -1432,6 +1432,9 @@ return to the main panel. """, width=600).pack(side=TOP) Button(self, text='Quit', fg='blue', command=self.leave).pack() + # FIXME: This should intercept window-destruction requests. + master.protocol("WM_DELETE_WINDOW", self.leave) + def novice(self): self.master.destroy() ConfigurationEdit(Fetchmailrc, self.outfile, Toplevel(), self.onexit).edit('novice') |