int display_status = getDisplayStatus();
fprintf(stderr, "EventHandler::deactivateWindow(), "
"display_status %d\n", display_status);
int display_status = getDisplayStatus();
fprintf(stderr, "EventHandler::deactivateWindow(), "
"display_status %d\n", display_status);