# | 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 |
> | Changed lines |