在 Gnome 终端中禁用 F10

Question

Gnome 终端会捕获 F10 而不是将其传递给 shell。我想禁用它。搜索问题后，得到的答案是可以在“首选项/快捷方式”中禁用它。但是，它似乎不在我这里。

我有 Ubuntu 16.04 和 Gnome Terminal 3.18.3。