git-svn-id: https://svn.wxwidgets.org/svn/wx/wxWidgets/trunk@72578
c3d73ce0-8a6f-49c7-b76d-
6d57e0e08775
if (paintState == paintAbandoned) {
// Painting area was insufficient to cover new styling or brace
if (paintState == paintAbandoned) {
// Painting area was insufficient to cover new styling or brace
+ // highlight positions. So trigger a new paint event that will
+ // repaint the whole window.
+ stc->Refresh(false);
+
+#if defined(__WXOSX__)
+ // On Mac we also need to finish the current paint to make sure that
+ // everything is on the screen that needs to be there between now and
+ // when the next paint event arrives.
}
paintState = notPainting;
}
}
paintState = notPainting;
}
// Force the whole window to be repainted
void ScintillaWX::FullPaint() {
// Force the whole window to be repainted
void ScintillaWX::FullPaint() {
- wxClientDC dc(stc);
- FullPaintDC(&dc);
+ stc->Refresh(false);
+ stc->Update();