Ubuntu 18.10 Meldに設定オプションがありません

Question

マージ/差分ツールMeldには、Ubuntu 18.10の設定オプション（[編集]-> [設定]）がありません。これは一般的な問題ですか、それとも私のUbuntuインストールに固有のものですか？どうすれば修正できますか？

同じ問題に直面している人のための更新：Gnome-Shell機能のようです。シェルメニューバーの「Meld」アイコンの横にある小さな下矢印をクリックします。

Answer 1

設定メニューは、Activitiesバッジのすぐ横のトップバーに移動しました。これはmeldだけでなく、他の多くのGNOMEアプリケーションにも当てはまります。 gedit。

なぜ彼らがそれをしたのか分かりませんし、まったく役に立たず、直感に反すると考えていますが、それがどのように機能するのかです。