public:
// Ctor creates an empty editor, use AddPage() to add controls to it.
wxPreferencesEditor(const wxString& title = wxString());
- ~wxPreferencesEditor();
+
+ // Dtor destroys the dialog if still shown.
+ virtual ~wxPreferencesEditor();
// Add a new page to the editor. The editor takes ownership of the page
// and won't delete it until it is destroyed itself.
// platform, i.e. depending on whether the dialog is modal or not.
virtual void Show(wxWindow* parent);
- // Hide the currently shown dialog, if any. This doesn't do anything on the
- // platforms using modal preferences dialogs but should be called to
+ // Hide the currently shown dialog, if any. This is typically used to
// dismiss the dialog if the object whose preferences it is editing was
// closed.
void Dismiss();