post_msg         2507 src/w32fns.c     post_msg (wmsg);
post_msg         4715 src/w32fns.c   		post_msg (&saved_mouse_button_msg);
post_msg         4772 src/w32fns.c   		post_msg (&saved_mouse_button_msg);
post_msg         4965 src/w32fns.c   	      post_msg (&saved_mouse_button_msg);
post_msg         4976 src/w32fns.c   	      post_msg (&saved_mouse_move_msg);
post_msg          750 src/w32term.h  extern BOOL post_msg (W32Msg *);