From: Dana Jansens <danakj@orodu.net>
Date: Fri, 10 Jan 2003 22:50:56 +0000 (+0000)
Subject: add an optional parameter to restart
X-Git-Tag: openbox-2_3_0~451
X-Git-Url: http://git.openbox.org/?a=commitdiff_plain;h=6f500e23e31d46fa84d3864114b3ad8d316a8cb2;p=dana%2Fopenbox.git

add an optional parameter to restart
---

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"""