From 6f500e23e31d46fa84d3864114b3ad8d316a8cb2 Mon Sep 17 00:00:00 2001 From: Dana Jansens Date: Fri, 10 Jan 2003 22:50:56 +0000 Subject: [PATCH] add an optional parameter to restart --- scripts/builtins.py | 6 +++--- 1 file 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""" -- 2.39.2