#include <stdio.h>
#include <stdlib.h>
-#if HAVE_MALLOC_H
-#include <malloc.h>
-#endif
#include <string.h>
#include "common.h"
{
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