# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 846799592 0
# Node ID 2ddccd78c6b0176bae8f251f50d258afc50bb812
# Parent  7094452bc3377b80941b64df35ea83c7d14f8e93
(EmacsFrameResize): Use cancel_mouse_face.

diff -r 7094452bc337 -r 2ddccd78c6b0 src/widget.c
--- a/src/widget.c	Thu Oct 31 22:05:51 1996 +0000
+++ b/src/widget.c	Thu Oct 31 22:06:32 1996 +0000
@@ -779,6 +779,8 @@
   change_frame_size (f, rows, columns, 0, 1);
   update_wm_hints (ew); 
   update_various_frame_slots (ew);
+
+  cancel_mouse_face (f);
 }
 
 static Boolean