def __init__(self, parent): ZUserPreferencePage.__init__(self, parent)
def destroy(self): ZUserPreferencePage.destroy(self) self.dictionaryDownloadPanel.destroy()