Somehow, setting a tint color makes gauge work :/.

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

diff --git a/interface/wx/tipdlg.h b/interface/wx/tipdlg.h
index 8a36bdc6239d5a6ba1ace45fff1e25669131aace..c9614a5d78b9a863594e68b24e2ad083c41ed970 100644 (file)
--- a/interface/wx/tipdlg.h
+++ b/interface/wx/tipdlg.h
@@ -2,8 +2,7 @@
 // Name:        tipdlg.h
 // Purpose:     interface of wxTipProvider
 // Author:      wxWidgets team
-// RCS-ID:      $Id$
-// Licence:     wxWindows license
+// Licence:     wxWindows licence
 /////////////////////////////////////////////////////////////////////////////
 
 /**
@@ -34,8 +33,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 +61,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);
 };