add an optional parameter to restart

[chaz/openbox] / scripts / builtins.py

diff --git a/scripts/builtins.py b/scripts/builtins.py
index 16a164216087497263b2f76d2641a88d4c81ec00..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"""
@@ -271,7 +271,7 @@ def setup_scroll():
 
 def setup_fallback_focus():
     """Sets up a focus fallback routine so that when no windows are focused,
-       the last window on the desktop that had focus will be focused."""
+       the last window to have focus on the desktop will be focused."""
     focus_stack = []
     def focused(data):
         #global focus_stack