10

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.

nariknahom
  • 403

3 Answers3

15

The preferences menu has moved to the top bar just next to the Activities badge. This is not only true for meld but also for many other GNOME applications, e.g. gedit.

enter image description here

I don't know why they did it and consider it totally useless and counter intuitive, but that's how it works.

PerlDuck
  • 13,885
10
  1. sudo vim /usr/lib/python3/dist-packages/meld/meldwindow.py (or, instead of vim, use any other text editor)
  2. replace
    if not gtk_settings.props.gtk_shell_shows_app_menu:
    to
    if gtk_settings.props.gtk_shell_shows_app_menu:
  3. Profit!

Works on Ubuntu 19.04

RedEyed
  • 1,513
4

I fixed it by installing gnome-tweaks and disabling "app menu" under "top bar".

That Brazilian Guy
  • 4,490