static void VTResize(w) Widget w;
static void VTResize(Widget w)
static void VTResize(w)    Widget w;{    if (XtIsRealized(w))      ScreenResize (&term->screen, term->core.width, term->core.height,		    &term->flags);}