FRAME_TO_WINDOW_PIXEL_X 6183 src/keyboard.c x = FRAME_TO_WINDOW_PIXEL_X (menu_w, XFIXNUM (event->x)); FRAME_TO_WINDOW_PIXEL_X 30946 src/xdisp.c x_reached = FRAME_TO_WINDOW_PIXEL_X (w, x_reached);