diff options
| author | Unknown <nyamatongwe@gmail.com> | 2013-03-13 09:57:56 +1100 |
|---|---|---|
| committer | Unknown <nyamatongwe@gmail.com> | 2013-03-13 09:57:56 +1100 |
| commit | 12e6f6374e791c61e778994475d224054aa01520 (patch) | |
| tree | 712a7719e26e9771769960bca9a41fb26c627461 | |
| parent | 551a8ab98dfffa718374fbbf2e575006df29d273 (diff) | |
| download | scintilla-mirror-12e6f6374e791c61e778994475d224054aa01520.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); |