On Mon, Jan 17, 2011 at 02:21:38PM -0700, Kevin Fenzi wrote:
This is gnome-terminal you are talking about? Or Xfce Terminal?
gnome-terminal.
--
Matthew Miller <mattdm(a)mattdm.org>
Senior Systems Architect -- Instructional & Research Computing Services
Harvard School of Engineering & Applied Sciences