post_msg         2540 src/w32fns.c     post_msg (wmsg);
post_msg         4748 src/w32fns.c   		post_msg (&saved_mouse_button_msg);
post_msg         4805 src/w32fns.c   		post_msg (&saved_mouse_button_msg);
post_msg         4998 src/w32fns.c   	      post_msg (&saved_mouse_button_msg);
post_msg         5009 src/w32fns.c   	      post_msg (&saved_mouse_move_msg);
post_msg          750 src/w32term.h  extern BOOL post_msg (W32Msg *);