make restart's parameter optional

This commit is contained in:
Dana Jansens 2003-02-02 23:51:04 +00:00
parent da0c7355d1
commit 95a11f3553

View file

@ -113,7 +113,7 @@ def focus(data):
return return
data.client.focus() data.client.focus()
def restart(data, other = ""): def restart(data=0, other = ""):
"""Restarts Openbox, optionally starting another window manager.""" """Restarts Openbox, optionally starting another window manager."""
ob.openbox.restart(other) ob.openbox.restart(other)