[PATCH] Extended window-history menu

[Christopher Roy Bratusek <zanghar freenet de>]

Just a small patch for extending the window-history menu.

Any comments?

diff --git a/lisp/sawfish/wm/ext/window-history.jl
b/lisp/sawfish/wm/ext/window-history.jl index 893eac4..7abc7d5 100644
--- a/lisp/sawfish/wm/ext/window-history.jl
+++ b/lisp/sawfish/wm/ext/window-history.jl
@@ -40,7 +40,8 @@
 	    window-history-save-attributes
 	    window-history-forget
 	    window-history-load
-	    window-history-save)
+	    window-history-save
+	    window-history-clear)
 
     (open rep
 	  rep.system
@@ -82,8 +83,11 @@
     `((,(_ "Remember _position") window-history-save-position)
       (,(_ "Remember _dimensions") window-history-save-dimensions)
       (,(_ "Remember _attributes") window-history-save-attributes)
+      (,(_ "_Forget saved state") window-history-forget)
       ()
-      (,(_ "_Forget saved state") window-history-forget)))
+      (,(_ "_Clear window-history") window-history-clear)
+      (,(_ "_Save window-history") window-history-save)
+      (,(_ "_Reload window-history") window-history-load)))
 
 ;;; customizations