Up-to-date dapper desktop. To be specific gnome-terminal is of version 2.14.2-0ubuntu1...
-- keyboard shortcuts https://launchpad.net/bugs/49523 -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs