equal
deleted
inserted
replaced
25 { |
25 { |
26 while(sel) { |
26 while(sel) { |
27 resize(sel, True, TopLeft); |
27 resize(sel, True, TopLeft); |
28 unmanage(sel); |
28 unmanage(sel); |
29 } |
29 } |
|
30 if(dc.font.set) |
|
31 XFreeFontSet(dpy, dc.font.set); |
|
32 else |
|
33 XFreeFont(dpy, dc.font.xfont); |
30 XUngrabKey(dpy, AnyKey, AnyModifier, root); |
34 XUngrabKey(dpy, AnyKey, AnyModifier, root); |
|
35 XDestroyWindow(dpy, barwin); |
|
36 XFreePixmap(dpy, dc.drawable); |
|
37 XFreeGC(dpy, dc.gc); |
31 XSetInputFocus(dpy, PointerRoot, RevertToPointerRoot, CurrentTime); |
38 XSetInputFocus(dpy, PointerRoot, RevertToPointerRoot, CurrentTime); |
32 XSync(dpy, False); |
39 XSync(dpy, False); |
33 } |
40 } |
34 |
41 |
35 static void |
42 static void |