Re: automatic menus for window managers