add an optional parameter to restart

diff --git a/scripts/builtins.py b/scripts/builtins.py
index 93f7b8db0c43d3a6e07a0b188302a4248eddcdf5..b7b48c1ca9ccab0e8b4bd17f18ccc3e72045f031 100644 (file)
--- a/scripts/builtins.py
+++ b/scripts/builtins.py
@@ -86,9 +86,9 @@ def resize(data):
                        data.press_clientwidth + dx,
                        data.press_clientheight + dy);
 
-def restart(data):
-    """Restarts openbox"""
-    openbox.restart("")
+def restart(data, other = ""):
+    """Restarts openbox, optionally starting another window manager."""
+    openbox.restart(other)
 
 def raise_win(data):
     """Raises the window on which the event occured"""