XSETXWIDGET_VIEW 2713 src/xwidget.c    XSETXWIDGET_VIEW (val, xv);
XSETXWIDGET_VIEW 2805 src/xwidget.c                XSETXWIDGET_VIEW (xvl, xww->xv);
XSETXWIDGET_VIEW 2852 src/xwidget.c        XSETXWIDGET_VIEW (xvw, xv);