static void TekInitialize(request, new, args, num_args) Widget request GCC_UNUSED; Widget new GCC_UNUSED; ArgList args GCC_UNUSED; Cardinal *num_args GCC_UNUSED;
static void TekInitialize( Widget request GCC_UNUSED, Widget new GCC_UNUSED, ArgList args GCC_UNUSED, Cardinal *num_args GCC_UNUSED)
static void TekInitialize(request, new, args, num_args)    Widget request GCC_UNUSED;    Widget new GCC_UNUSED;    ArgList args GCC_UNUSED;    Cardinal *num_args GCC_UNUSED;{    /* look for focus related events on the shell, because we need     * to care about the shell's border being part of our focus.     */    XtAddEventHandler(XtParent(new), EnterWindowMask, FALSE,		      HandleEnterWindow, (caddr_t)NULL);    XtAddEventHandler(XtParent(new), LeaveWindowMask, FALSE,		      HandleLeaveWindow, (caddr_t)NULL);    XtAddEventHandler(XtParent(new), FocusChangeMask, FALSE,		      HandleFocusChange, (caddr_t)NULL);    XtAddEventHandler((Widget)new, PropertyChangeMask, FALSE,		      HandleBellPropertyChange, (Opaque)NULL);}