{
int caretPos;
- DoHighlight( lastCurrent, FALSE );
- DoHighlight( currCurrent, TRUE );
+ if(lastCurrent <= currLast) DoHighlight( lastCurrent, FALSE );
lastFirst = currFirst;
lastLast = currLast;
}
ScrollToCurrent(caretPos);
+ DoHighlight( currCurrent, TRUE ); // [HGM] moved last, because in X some scrolling methods spoil highlighting
}
// back-end. Must be called as double-click call-back on move-history text edit