| changeset 1243 | 7850bc57cbdc |
| parent 1242 | 91e8a7fb3b60 |
| child 1244 | c8bd07e7d006 |
| 1242:91e8a7fb3b60 | 1243:7850bc57cbdc |
|---|---|
355 } |
355 } |
356 |
356 |
357 void |
357 void |
358 cleanup(void) { |
358 cleanup(void) { |
359 close(STDIN_FILENO); |
359 close(STDIN_FILENO); |
360 view(NULL); |
360 view((uint[]){~0}); |
361 while(stack) |
361 while(stack) |
362 unmanage(stack); |
362 unmanage(stack); |
363 if(dc.font.set) |
363 if(dc.font.set) |
364 XFreeFontSet(dpy, dc.font.set); |
364 XFreeFontSet(dpy, dc.font.set); |
365 else |
365 else |