diff options
| author | nyamatongwe <nyamatongwe@gmail.com> | 2013-03-13 09:57:56 +1100 |
|---|---|---|
| committer | nyamatongwe <nyamatongwe@gmail.com> | 2013-03-13 09:57:56 +1100 |
| commit | 2acae4f8de386814202a03e1eed19babca83f1ff (patch) | |
| tree | 850757e99743af41fdfebd25f8a2917d5a4fed1f | |
| parent | 16bbde7481613d3227d54490c07bcf5c8aecb8eb (diff) | |
| download | scintilla-mirror-2acae4f8de386814202a03e1eed19babca83f1ff.tar.gz | |
Call UpdateUI before blit scrolling so caret change will have been processed
and brace highlighting updated before painting.
| -rw-r--r-- | gtk/ScintillaGTK.cxx | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gtk/ScintillaGTK.cxx b/gtk/ScintillaGTK.cxx index 6b2e15e10..2e48d5e46 100644 --- a/gtk/ScintillaGTK.cxx +++ b/gtk/ScintillaGTK.cxx @@ -1138,6 +1138,7 @@ void ScintillaGTK::ScrollText(int linesToMove) { //Platform::DebugPrintf("ScintillaGTK::ScrollText %d %d %0d,%0d %0d,%0d\n", linesToMove, diff, // rc.left, rc.top, rc.right, rc.bottom); GtkWidget *wi = PWidget(wText); + NotifyUpdateUI(); if (IS_WIDGET_REALIZED(wi)) { gdk_window_scroll(WindowFromWidget(wi), 0, -diff); |