Ubuntu 18.10 Meld 缺少偏好设置选项

Question

Ubuntu 18.10 上的合并/差异工具 Meld 缺少首选项选项（编辑 -> 首选项）。这是一般问题还是特定于我的 Ubuntu 安装的问题？如何解决？

向遇到相同问题的人提供更新：这似乎是 Gnome-Shell 的功能。单击 shell 菜单栏上“Meld”图标旁边的小向下箭头。

Answer 1

首选项菜单已移至顶部栏，紧邻徽章Activities。这不仅适用于meldGNOME 应用程序，也适用于许多其他 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

Answer 3

我通过安装gnome-tweaks和禁用“顶部栏”下的“应用程序菜单”来修复此问题。