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 -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]