process one event at once in wxEvtHandler::ProcessPendingEvents() to prevent crashes...

[wxWidgets.git] / include / wx / palmos / tabctrl.h

diff --git a/include/wx/palmos/tabctrl.h b/include/wx/palmos/tabctrl.h
index cb1a3dc4f5db93637a470d0b8fcae45dfce2ddb2..f0a5207017598b55be05b3b6def05b317917c747 100644 (file)
--- a/include/wx/palmos/tabctrl.h
+++ b/include/wx/palmos/tabctrl.h
@@ -40,7 +40,7 @@ class WXDLLEXPORT wxTabCtrl: public wxControl
     {
         Create(parent, id, pos, size, style, name);
     }
-    ~wxTabCtrl();
+    virtual ~wxTabCtrl();
 
 // Accessors