| # | Line 113 | Line 113 | char *pname, *wname; | |
|---|---|---|
| 113 | do | |
| 114 | sleep(8); | |
| 115 | while ((gwind=xfindwind(theDisplay,rwind,pname,2)) == None); | |
| 116 | < | } else { |
| 116 | > | } else |
| 117 | XMapRaised(theDisplay, gwind); | |
| 118 | < | XFlush(theDisplay); |
| 118 | > | do { |
| 119 | > | XGetWindowAttributes(theDisplay, gwind, &wa); |
| 120 | sleep(4); | |
| 121 | < | } |
| 121 | < | XGetWindowAttributes(theDisplay, gwind, &wa); |
| 121 | > | } while (wa.map_state != IsViewable); |
| 122 | if (wa.width != xres || wa.height != yres) { | |
| 123 | fprintf(stderr, | |
| 124 | "%s: warning -- window seems to be the wrong size!\n", | |
| – | Removed lines |
| + | Added lines |
| < | Changed lines (old) |
| > | Changed lines (new) |