gnome-terminal and meta

[Alan Shutko <ats acm org>]

gnome-terminal doesn't listen to the meta key.  It seems to listen to
Mod1 as a meta key, but on my system, that's alt, not meta.  It's
getting a bit annoying to use the wrong key for meta in
gnome-terminals.  Since there's no requirement that Meta be on Mod1,
it should check which mod Meta is on, and use that.  (Unfortunately, I
don't know how... no answer on gtk-list.)

Should I file this as a bug?

-- 
Alan Shutko <ats@acm.org> - Looking for a job in Long Island!
Check http://rescomp.wustl.edu/~ats/ for a resume.
Pure drivel tends to drive ordinary drivel off the TV screen.