git-svn-id: https://svn.wxwidgets.org/svn/wx/wxWidgets/trunk@58703
c3d73ce0-8a6f-49c7-b76d-
6d57e0e08775
// Update everything inside the box
wxRect r = GetUpdateRegion().GetBox();
// Update everything inside the box
wxRect r = GetUpdateRegion().GetBox();
+ // FIXME: This is just a workaround for a bug that causes splitters not
+ // to paint when other windows are being dragged over the grid.
+ wxRect fullRect = GetRect();
+ r.x = fullRect.x;
+ r.width = fullRect.width;
+
// Repaint this rectangle
pg->DrawItems( dc, r.y, r.y + r.height, &r );
// Repaint this rectangle
pg->DrawItems( dc, r.y, r.y + r.height, &r );