Applied wxGauge:Pulse() patch.

[wxWidgets.git] / include / wx / x11 / cursor.h

diff --git a/include/wx/x11/cursor.h b/include/wx/x11/cursor.h
index 39a29e7e6d1a83456a52fe26bf3865f0dd5e03c4..bdb7b8ca7b1ff41f4d6dcdf12227b29e29b3ca14 100644 (file)
--- a/include/wx/x11/cursor.h
+++ b/include/wx/x11/cursor.h
@@ -34,7 +34,7 @@ public:
     wxCursor( const char bits[], int width, int  height,
               int hotSpotX=-1, int hotSpotY=-1,
               const char maskBits[]=0, wxColour *fg=0, wxColour *bg=0 );
-    ~wxCursor();
+    virtual ~wxCursor();
     bool operator == ( const wxCursor& cursor ) const;
     bool operator != ( const wxCursor& cursor ) const;
     bool Ok() const;