static void do_activeicon (gw, closure, data) Widget gw GCC_UNUSED; XtPointer closure GCC_UNUSED, data GCC_UNUSED;
static void do_activeicon ( Widget gw GCC_UNUSED, XtPointer closure GCC_UNUSED, XtPointer data GCC_UNUSED)
static void do_activeicon (gw, closure, data)    Widget gw GCC_UNUSED;    XtPointer closure GCC_UNUSED, data GCC_UNUSED;{    TScreen *screen = &term->screen;    if (screen->iconVwin.window) {	Widget shell = term->core.parent;	term->misc.active_icon = !term->misc.active_icon;	XtVaSetValues(shell, XtNiconWindow,		      term->misc.active_icon ? screen->iconVwin.window : None,		      NULL);	update_activeicon();    }}