updated for version 7.0059

2005-03-11 22:46:48 +00:00
parent df7b1ffe99
commit cd71fa3c1e
9 changed files with 104 additions and 106 deletions
--- a/src/gui.c
+++ b/src/gui.c
@@ -2667,6 +2667,10 @@ gui_wait_for_chars(wtime)
 	    update_screen(VALID);
 	    showruler(FALSE);
 	    setcursor();
+	    /* In case the commands moved the focus to another window
+	     * (temporarily). */
+	    if (need_mouse_correct)
+		gui_mouse_correct();

 	    once_already = 1;
 	    retval = 0;