RIGHT_WIN_PRESSED 3179 src/w32fns.c     mods |= (modifier_set (VK_RWIN)) ? RIGHT_WIN_PRESSED : 0;
RIGHT_WIN_PRESSED 3985 src/w32fns.c   			& (LEFT_WIN_PRESSED | RIGHT_WIN_PRESSED
RIGHT_WIN_PRESSED 9722 src/w32fns.c     if (mods & RIGHT_WIN_PRESSED)
RIGHT_WIN_PRESSED  157 src/w32inevt.c             mod_key_state &= ~RIGHT_WIN_PRESSED;
RIGHT_WIN_PRESSED  199 src/w32inevt.c 	  if ((mod_key_state & RIGHT_WIN_PRESSED) == 0)
RIGHT_WIN_PRESSED  209 src/w32inevt.c         mod_key_state |= RIGHT_WIN_PRESSED;
RIGHT_WIN_PRESSED  280 src/w32inevt.c         event->dwControlKeyState |= RIGHT_WIN_PRESSED;
RIGHT_WIN_PRESSED  304 src/w32inevt.c 		  | (!NILP (Vw32_rwindow_modifier) ? RIGHT_WIN_PRESSED : 0)