move restart and exit to the top

This commit is contained in:
Dana Jansens 2003-02-02 23:51:30 +00:00
parent 95a11f3553
commit 1814947e47

View file

@ -9,6 +9,14 @@ StateRemove = 0
StateAdd = 1 StateAdd = 1
StateToggle = 2 StateToggle = 2
def restart(data=0, other = ""):
"""Restarts Openbox, optionally starting another window manager."""
ob.openbox.restart(other)
def exit(data=0):
"""Exits Openbox."""
ob.openbox.shutdown()
def state_above(data, add=StateAdd): def state_above(data, add=StateAdd):
"""Toggles, adds or removes the 'above' state on a window. """Toggles, adds or removes the 'above' state on a window.
The second paramater should one of: StateRemove, StateAdd, or The second paramater should one of: StateRemove, StateAdd, or
@ -113,14 +121,6 @@ def focus(data):
return return
data.client.focus() data.client.focus()
def restart(data=0, other = ""):
"""Restarts Openbox, optionally starting another window manager."""
ob.openbox.restart(other)
def exit(data=0):
"""Exits Openbox."""
ob.openbox.shutdown()
def raise_win(data): def raise_win(data):
"""Raises the window on which the event occured""" """Raises the window on which the event occured"""
if not data.client: return if not data.client: return