答案1
答案2
在 Ubuntu 20.04.1、Gnome 版本 3.36.8 上,它是:
Gnome terminal's "hamburger menu icon"
> Preferences
> "General" tab
> Uncheck the item labeled "Enable the menu accelerator key (F10 by default)"
只是备注:在同一系统上,存在 dconf / gsettings 设置:
/org/gnome/terminal/legacy/
shortcuts-enabled
它的默认值为true
。目前,它似乎不会影响/冲突终端首选项 UI 中所做的选择。尽管如此,我相信保持警惕它的存在可能是有用的......以防万一有一天它可能会再次开始干扰;)
答案3
我在 Fedora 35 上的 gnome 4 中发现禁用 F10 快捷键的最佳方法:
gsettings set org.gnome.Terminal.Legacy.Settings menu-accelerator-enabled false
希望能帮助到你 :)