tags 168719 + pending tags 169281 + pending thanks On Thu, Mar 20, 2003 at 11:10:57AM -0500, Matt Behrens wrote: > This seems like it should already be happening. See > debian/patches/906_set_gnome_menu_right.diff. That patch was incorrect, but has been fixed in CVS and will be in the next package release. Chris