Linux Mint 18で端末のタイトルを設定する方法

Linux Mint 18にアップグレードしましたが、すべてうまくいきました。わざわざこのようなことなのかはわかりませんが、オプションももうTerminal -> Set Titleなく、ショートカットもこれ以上使用できません。これらの変更の理由と回避策は何ですか？タブ間をすばやく移動するのに役立ちますので、端末のタイトルを設定する必要があります。