add an optional parameter to restart

1 files changed, 3 insertions, 3 deletions

diff --git a/scripts/builtins.py b/scripts/builtins.py
index 93f7b8db..b7b48c1c 100644
--- 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"""