strncpy(inst->icontitle, title, lenof(inst->icontitle)); inst->icontitle[lenof(inst->icontitle)-1] = '\0'; gdk_window_set_icon_name(inst->window->window, inst->icontitle);
void set_icon(char *title){    /* FIXME: currently ignored */}