4 ms·

F11 does not work with gnome, I thought it was part of the Gnome DE and not implemented in gnome-terminal...