Home / ubuntu / Questions / 1093428
In Process
nariknahom
Asked: 2018-11-17 02:45:44 +0800 CST

Ubuntu 18.10 Meld missing preferences option

  • 772

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.

meld 18.10

3 Answers

  1. 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.

    • 14
    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

    • 8

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

    • 2