The merge/diff tool Meld is missing preferences option (Edit -> preferences) on Ubuntu 18.10. Is this an general issue or specific to my Ubuntu installation? How can it fixed?
Update for anyone facing the same issue: Seems like a Gnome-Shell feature. Click on the small Down Arrow next to the "Meld" icon on the shell menu bar.