| changeset 708 | a2d568a5cdb8 |
| parent 697 | 4d12382fef8e |
| child 714 | 7034ee0f48d6 |
| 707:c3c57faef013 | 708:a2d568a5cdb8 |
|---|---|
39 |
39 |
40 static void |
40 static void |
41 cleanup(void) { |
41 cleanup(void) { |
42 close(STDIN_FILENO); |
42 close(STDIN_FILENO); |
43 while(stack) { |
43 while(stack) { |
44 resize(stack, True, TopLeft); |
44 resize(stack, True); |
45 unmanage(stack); |
45 unmanage(stack); |
46 } |
46 } |
47 if(dc.font.set) |
47 if(dc.font.set) |
48 XFreeFontSet(dpy, dc.font.set); |
48 XFreeFontSet(dpy, dc.font.set); |
49 else |
49 else |