diff --git a/src/aui/auibook.cpp b/src/aui/auibook.cpp index 54fccf21ba..bbcaa969c2 100644 --- a/src/aui/auibook.cpp +++ b/src/aui/auibook.cpp @@ -401,9 +401,12 @@ void wxAuiDefaultTabArt::DrawTab(wxDC& dc, clip_points[4] = wxPoint(tab_x+clip_width+1, tab_y+2); clip_points[5] = wxPoint(tab_x+clip_width+1, tab_y+tab_height-3); + // FIXME: these ports don't provide wxRegion ctor from array of points +#if !defined(__WXMGL__) && !defined(__WXDFB__) // set the clipping region for the tab -- wxRegion clipping_region(WXSIZEOF(clip_points), clip_points); dc.SetClippingRegion(clipping_region); +#endif // !wxMGL && !wxDFB wxPoint border_points[6]; border_points[0] = wxPoint(tab_x, tab_y+tab_height-4);