- /*
- * XXX Why does an active menu require a redisplay at
- * XXX this point? If this can come out cleanly, then
- * XXX it probably should do so; if not, a comment should
- * XXX explain it.
- */
- if( ! window->IsMenu )
- window->State.Redisplay = GL_TRUE;
-