Return optimal label width from DrawHeaderButton

[wxWidgets.git] / src / x11 / evtloop.cpp

diff --git a/src/x11/evtloop.cpp b/src/x11/evtloop.cpp
index 2fbbbb421ce43c0a8751bf24e4a2c63e86d7de18..b62ce72440522179e793cc076ff5a9b3fa3d1ebf 100644 (file)
--- a/src/x11/evtloop.cpp
+++ b/src/x11/evtloop.cpp
@@ -80,7 +80,7 @@ class wxSocketTable: public wxHashTable
     wxSocketTable(): wxHashTable(wxKEY_INTEGER)
     {
     }
-    ~wxSocketTable()
+    virtual ~wxSocketTable()
     {
         WX_CLEAR_HASH_TABLE(*this)
     }