If it looks as if my window manager has quit on me at login (no boarders, no buttons to minimize/etc, borderless applications first appear stuck to the edge of the display) how can I easily restart the window manager (the default one with 7.10, using the human theme?) -Bart