From 2acae4f8de386814202a03e1eed19babca83f1ff Mon Sep 17 00:00:00 2001 From: nyamatongwe Date: Wed, 13 Mar 2013 09:57:56 +1100 Subject: Call UpdateUI before blit scrolling so caret change will have been processed and brace highlighting updated before painting. --- gtk/ScintillaGTK.cxx | 1 + 1 file changed, 1 insertion(+) 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); -- cgit v1.2.3