diff -r dacd3f3c5823 -r e9dc5a9f9480 main.c --- a/main.c Mon Aug 14 10:18:24 2006 +0200 +++ b/main.c Mon Aug 14 10:24:38 2006 +0200 @@ -22,6 +22,7 @@ static void cleanup() { + ungrabkeys(); while(sel) { resize(sel, True, TopLeft); unmanage(sel);