From 199ec6a3d5991e7c4fa79b263f484add7d55841f Mon Sep 17 00:00:00 2001
From: frese <frese>
Date: Thu, 18 Dec 2003 16:40:48 +0000
Subject: [PATCH] freeing options when manager has finished

---
 src/manager.scm | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/manager.scm b/src/manager.scm
index c3faa55..24f0cbb 100644
--- 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))