diff src/w32fns.c @ 43484:a3cecd273126

(w32_wnd_proc) <WM_TIMER>: Fix last change.
author Jason Rumney <jasonr@gnu.org>
date Sat, 23 Feb 2002 18:14:06 +0000
parents 7faac536665f
children 8d3931ead0df
line wrap: on
line diff
--- a/src/w32fns.c	Sat Feb 23 18:12:30 2002 +0000
+++ b/src/w32fns.c	Sat Feb 23 18:14:06 2002 +0000
@@ -4779,6 +4779,7 @@
 	{
 	  KillTimer (hwnd, menu_free_timer);
 	  menu_free_timer = 0;
+	  f = x_window_to_frame (dpyinfo, hwnd);
 	  if (!f->output_data.w32->menu_command_in_progress)
 	    {
 	      /* Free memory used by owner-drawn and help-echo strings.  */