Ubuntu 18.10 Meld 缺少首选项选项

Question

合并/差异工具 Meld 在 Ubuntu 18.10 上缺少首选项（编辑 -> 首选项）。这是一个普遍问题还是特定于我的 Ubuntu 安装？怎么修？

为面临相同问题的任何人更新：似乎是 Gnome-Shell 功能。单击外壳菜单栏上“融合”图标旁边的小向下箭头。

Answer 1

首选项菜单已移至Activities徽章旁边的顶部栏。这不仅适用于meld许多其他 GNOME 应用程序，例如gedit.

我不知道他们为什么这样做，并认为它完全没用且违反直觉，但这就是它的工作原理。

Answer 2

1. sudo vim /usr/lib/python3/dist-packages/meld/meldwindow.py（或者，而不是vim，使用任何其他文本编辑器）
2. 替换
   if not gtk_settings.props.gtk_shell_shows_app_menu:
   为
   if gtk_settings.props.gtk_shell_shows_app_menu:
3. 利润！

适用于 Ubuntu 19.04