check for wxUSE_TIMER in headers, not the files including them

[wxWidgets.git] / include / wx / msw / helpwin.h

diff --git a/include/wx/msw/helpwin.h b/include/wx/msw/helpwin.h
index 2bb07163950c843dabe200a59db0fe4e466dae03..24321b416675aab8cd2f90753a754fbfea6a07d7 100644 (file)
--- a/include/wx/msw/helpwin.h
+++ b/include/wx/msw/helpwin.h
@@ -24,7 +24,7 @@ class WXDLLEXPORT wxWinHelpController: public wxHelpControllerBase
 
 public:
     wxWinHelpController(wxWindow* parentWindow = NULL): wxHelpControllerBase(parentWindow) {}
-    ~wxWinHelpController() {}
+    virtual ~wxWinHelpController() {}
 
     // Must call this to set the filename
     virtual bool Initialize(const wxString& file);