+class HangmanDemoFrame(wxFrame):
+ def __init__(self, wf, parent, id, pos, size):
+ wxFrame.__init__(self, parent, id, "Hangman demo", pos, size)
+ self.demo = HangmanDemo(wf, self, -1, wxDefaultPosition, wxDefaultSize)
+ def OnCloseWindow(self, event):
+ self.demo.timer.Stop()
+ self.Destroy()
+