window_is_mapped(pubw); /* kill any ongoing request */
- printf("show window 0x%x\n", w->id);
+ //printf("show window 0x%x\n", w->id);
window_update_pixmap(w);
w->mapped = TRUE;
window_is_mapped(pubw); /* kill any ongoing request */
- printf("hide window 0x%x\n", w->id);
+ //printf("hide window 0x%x\n", w->id);
w->mapped = FALSE;
}