| changeset 762 | 140bcd4782d8 |
| parent 757 | 22dfaeb82491 |
| child 769 | dc60583894e0 |
| 761:4e835c2a7a12 | 762:140bcd4782d8 |
|---|---|
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); |
44 if(stack->isbanned) |
45 XMoveWindow(dpy, stack->win, stack->x, stack->y); |
|
45 unmanage(stack); |
46 unmanage(stack); |
46 } |
47 } |
47 if(dc.font.set) |
48 if(dc.font.set) |
48 XFreeFontSet(dpy, dc.font.set); |
49 XFreeFontSet(dpy, dc.font.set); |
49 else |
50 else |