Changing the code is the only way that I see. However (since it's been several years) it doesn't appear to be a priority with the gnome developers.
-- You received this bug notification because you are a member of Ubuntu-X, which is subscribed to xterm in Ubuntu. https://bugs.launchpad.net/bugs/96676 Title: function keys don't work in gnome-terminal To manage notifications about this bug go to: https://bugs.launchpad.net/gnome-terminal/+bug/96676/+subscriptions _______________________________________________ Mailing list: https://launchpad.net/~ubuntu-x-swat Post to : [email protected] Unsubscribe : https://launchpad.net/~ubuntu-x-swat More help : https://help.launchpad.net/ListHelp
