[MAGNIFY]

Update display even when mouse does not move. Patch by Andrea Faulds. 
CORE-4739 #comment Committed in r63429, thanks. #resolve

svn path=/trunk/; revision=63429
This commit is contained in:
Timo Kreuzer 2014-05-24 10:19:01 +00:00
parent 229b404fde
commit bc9a62248c

View file

@ -353,22 +353,20 @@ LRESULT CALLBACK WndProc(HWND hWnd, UINT message, WPARAM wParam, LPARAM lParam)
//Update to new position //Update to new position
pMouse = pNewMouse; pMouse = pNewMouse;
cp = pNewMouse; cp = pNewMouse;
Refresh();
} }
else if (((pCaret.x != pNewCaret.x) || (pCaret.y != pNewCaret.y)) && bFollowCaret) else if (((pCaret.x != pNewCaret.x) || (pCaret.y != pNewCaret.y)) && bFollowCaret)
{ {
//Update to new position //Update to new position
pCaret = pNewCaret; pCaret = pNewCaret;
cp = pNewCaret; cp = pNewCaret;
Refresh();
} }
else if (((pFocus.x != pNewFocus.x) || (pFocus.y != pNewFocus.y)) && bFollowFocus) else if (((pFocus.x != pNewFocus.x) || (pFocus.y != pNewFocus.y)) && bFollowFocus)
{ {
//Update to new position //Update to new position
pFocus = pNewFocus; pFocus = pNewFocus;
cp = pNewFocus; cp = pNewFocus;
Refresh();
} }
Refresh();
} }
break; break;
case WM_COMMAND: case WM_COMMAND: