It seems to me that, long ago in a galaxy far, far away, I had a window manager that supported maximize-vertical (as opposed to maximizing in both directions). Anyone using a window manager right now that does this? Preferably one that interacts well with gnome. -- monique