static void TekConfigure(w) Widget w;
static void TekConfigure(Widget w)
static void TekConfigure(w)    Widget w;{    register TScreen *screen = &term->screen;    register int border = 2 * screen->border;    register double d;    if (TWindow(screen)) XClearWindow(screen->display, TWindow(screen));    TWidth(screen) = w->core.width - border;    THeight(screen) = w->core.height - border;    TekScale(screen) = (double)TWidth(screen) / TEKWIDTH;    if((d = (double)THeight(screen) / (TEKHEIGHT + TEKTOPPAD + TEKBOTTOMPAD))       < TekScale(screen))      TekScale(screen) = d;    TFullWidth(screen) = w->core.width;    TFullHeight(screen) = w->core.height;}