20.04でマウスホイールを使用してターミナルのタブを切り替える
Ubuntu 20.04にアップグレードしましたが、ターミナルのタブをマウスホイールで切り替えることができません。18.04では問題ありませんでした。この機能が有効になっている場所が見つかりません。この機能が削除された可能性はありますか？
この機能はGNOME開発者によって削除されました。
私はこの問題を確認でき、19.04、19.10、20.04 LTSに対して バグ18076 としてランチパッドに報告しました。
可能な代替-MATE Terminal（Sudo apt-get install mate-terminal）またはMATE DEに完全に切り替えますSudo apt-get install ubuntu-mate-desktop^最新のGNOMEシェルで他に何が壊れているかを予測できないため。