Nick Treleaven:
Thanks for your help. I wasn't sure how to access rgnUpdate from the
Editor class, so I made the change in ScintillaGTK::ScrollText.
Attached 'gtk-ScrollText-check-rgnUpdate.patch'.
I changed this in the platform-independent code of Editor::ScrollTo
by checking the paintState:
- if (abs(linesToMove) <= 10) {
+ if ((abs(linesToMove) <= 10) && (paintState == notPainting)) {
Committed to CVS.
Neil
_______________________________________________
Scintilla-interest mailing list
[email protected]
http://mailman.lyra.org/mailman/listinfo/scintilla-interest
