xw_notify_virtual_downwards_until 1832 src/xwidget.c  	  xw_notify_virtual_downwards_until (view, current_window,
xw_notify_virtual_downwards_until 1888 src/xwidget.c  	xw_notify_virtual_downwards_until (view, current_window,