This should probably be reassigned to gnome-terminal since hexedit probably never gets notified of the F1 key. gnome-terminal should have preferences to disable it's own help an pass the F1 to the terminal. There are preferences in gnome-terminal to manage keyboard shortcuts but I haven't been able to figure out how gnome-terminal could be configured to pass F1 to the tty.
But the only thing hexedit could do to workaround the issue is not to use F1 for it's help... but something like ctrl-h? Not sure if that's reasonable. -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/607887 Title: hexedit "press F1 for help" doesn't work To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/hexedit/+bug/607887/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
