xw_update_cursor_for_view 1744 src/xwidget.c    xw_update_cursor_for_view (user_data, window);
xw_update_cursor_for_view 1827 src/xwidget.c  	  xw_update_cursor_for_view (view, current_window);
xw_update_cursor_for_view 1846 src/xwidget.c        xw_update_cursor_for_view (view, current_window);