git-svn-id: https://svn.wxwidgets.org/svn/wx/wxWidgets/trunk@43380
c3d73ce0-8a6f-49c7-b76d-
6d57e0e08775
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
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(__WXDFB__) && !defined(__WXCOCOA__)
// set the clipping region for the tab --
wxRegion clipping_region(WXSIZEOF(clip_points), clip_points);
dc.SetClippingRegion(clipping_region);
// set the clipping region for the tab --
wxRegion clipping_region(WXSIZEOF(clip_points), clip_points);
dc.SetClippingRegion(clipping_region);
+#endif // !wxDFB && !wxCocoa
wxPoint border_points[6];
border_points[0] = wxPoint(tab_x, tab_y+tab_height-4);
wxPoint border_points[6];
border_points[0] = wxPoint(tab_x, tab_y+tab_height-4);