I've never come across any useful documentation from the GNOME project. Just stuff that is targeted at nontechnical end-users.
However, the simplest fix would be setting gnome-terminal's TERM variable to "gnome", and handling the inevitable release-to-release nits with fixes in the terminal database. -- function keys don't work in gnome-terminal https://bugs.launchpad.net/bugs/96676 You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is a bug assignee. -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
