freeing options when manager has finished

2003-12-18 16:40:48 +00:00 · 2003-12-18 16:40:48 +00:00 · 199ec6a3d5
parent f998ae533e
commit 199ec6a3d5
1 changed files with 2 additions and 1 deletions
--- a/src/manager.scm
+++ b/src/manager.scm
@ -100,7 +100,8 @@
 			     (lambda (msg)
 			       (handle-external-message wm exit msg))))
 		      (loop))))))
-	      (free-colormap dpy colormap)))
+	      (free-colormap dpy colormap)
+	      (free-options (wm:options wm) #f)))

    (for-each (lambda (window)
 		(wm-manage-window wm window))