force full redraw in winboard

Full redraw is now always forced when highlightMovesWithArrow is on,
rather than only when highlight info is available. (As in drop moves the
latter is invalid, but we must still erase the arrow from the previous move.)

diff --git a/winboard/winboard.c b/winboard/winboard.c
index 24fd967..9782495 100644 (file)
--- a/winboard/winboard.c
+++ b/winboard/winboard.c
@@ -4214,7 +4214,7 @@ BOOL DrawPositionNeedsFullRepaint()
         but animation is fast enough that it's difficult to notice.\r
     */\r
     if( animInfo.piece == EmptySquare ) {\r
-        if( (appData.highlightLastMove || appData.highlightDragging) && IsDrawArrowEnabled() && HasHighlightInfo() ) {\r
+        if( (appData.highlightLastMove || appData.highlightDragging) && IsDrawArrowEnabled() /*&& HasHighlightInfo()*/ ) {\r
             result = TRUE;\r
         }\r
     }\r
@@ -4847,7 +4847,7 @@ PaintProc(HWND hwnd)
  *   subtracted from x.\r
  */\r
 int EventToSquare(x, limit)\r
-     int x;\r
+     int x, limit;\r
 {\r
   if (x <= 0)\r
     return -2;\r