Fix wxIMAGE_QUALITY_HIGH definition.

[wxWidgets.git] / interface / wx / tipdlg.h

diff --git a/interface/wx/tipdlg.h b/interface/wx/tipdlg.h
index a7e0d49f7d356721777654f62554d05546d91101..98454bc632926e1b39b797f6bcb1690c34777597 100644 (file)
--- a/interface/wx/tipdlg.h
+++ b/interface/wx/tipdlg.h
@@ -34,8 +34,10 @@ public:
     */
     wxTipProvider(size_t currentTip);
 
+    virtual ~wxTipProvider();
+
     /**
-        Returns the index of the current tip (i.e. the one which would be returned by GetTip()).
+        Returns the index of the current tip (i.e.\ the one which would be returned by GetTip()).
 
         The program usually remembers the value returned by this function after calling
         wxShowTip(). Note that it is not the same as the value which was passed to
@@ -60,7 +62,7 @@ public:
         modification to the string. If you return wxEmptyString, then this tip is
         skipped, and the next one is read.
     */
-    virtual wxString PreProcessTip(const wxString& tip);
+    virtual wxString PreprocessTip(const wxString& tip);
 };