Make art provider id of type "char *" instead of "wxChar *".

[wxWidgets.git] / include / wx / aui / auibook.h

diff --git a/include/wx/aui/auibook.h b/include/wx/aui/auibook.h
index eaae78212f5217c02141cbb8a2b21bebe26b898a..5fa37345d279cf008b47f13aab31419bed689bb0 100644 (file)
--- a/include/wx/aui/auibook.h
+++ b/include/wx/aui/auibook.h
@@ -590,7 +590,11 @@ protected:
     virtual wxBorder GetDefaultBorder() const { return wxBORDER_NONE; }
 
     // these can be overridden
-    virtual void UpdateTabCtrlHeight();
+
+    // update the height, return true if it was done or false if the new height
+    // calculated by CalculateTabCtrlHeight() is the same as the old one
+    virtual bool UpdateTabCtrlHeight();
+
     virtual int CalculateTabCtrlHeight();
     virtual wxSize CalculateNewSplitSize();