Always use wxFULL_REPAINT_ON_RESIZE for generic status bar.

[wxWidgets.git] / include / wx / gtk1 / pen.h

diff --git a/include/wx/gtk1/pen.h b/include/wx/gtk1/pen.h
index fe95ad1003513a813e9134bbfd84dd643a5d430f..dac2e0ff795623744cc370f9a9a6b5b26b68e458 100644 (file)
--- a/include/wx/gtk1/pen.h
+++ b/include/wx/gtk1/pen.h
@@ -38,7 +38,7 @@ public:
     wxPen() { }
 
     wxPen( const wxColour &colour, int width = 1, int style = wxSOLID );
-    ~wxPen();
+    virtual ~wxPen();
 
     bool Ok() const { return m_refData != NULL; }