7

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.

  • 1
    Small note: on other fully-functional traditional desktops such as KDE, MATE and Xfce the Preferences option is placed in the first menu item named Meld. – N0rbert Nov 16 '18 at 12:14
  • goddamnit, I face this problem for decades! Now again, it's missing and I can't find it. Meld developers are u kidding us?? – RedEyed Sep 5 '19 at 13:31
12

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.

| improve this answer | |
  • 3
    I have a dual-screen setup and this menu was on the other screen from the app. No wonder I couldn't find it ! – Adam Pierce Jul 31 '19 at 1:50
  • 1
    so unintuitive would have never found it – Nimjox May 27 at 20:11
2
  1. sudo vim /usr/lib/python3/dist-packages/meld/meldwindow.py
  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

| improve this answer | |
  • This is the only way I got it to work! – Ray Feb 19 at 21:01
0

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

| improve this answer | |

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.