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