答え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
これがあなたに役立つことを願っています:)