I have the same problem with gnome-terminal. F1-F4 does not work. Changing TERM from xterm to gnome does make it work though.
I have the same problem with gnome-terminal. F1-F4 does not work. Changing TERM from xterm to gnome does make it work though.