В Ubuntu 18.10 Meld отсутствует опция настроек

В инструменте слияния / сравнения Meld отсутствует опция предпочтений ("Правка" -> настройки) в Ubuntu 18.10. Это общая проблема или специфическая для моей установки Ubuntu? Как это можно исправить?

Обновление для тех, кто сталкивается с той же проблемой: похоже на функцию Gnome-Shell. Нажмите на маленькую стрелку вниз рядом со значком "Meld" в строке меню оболочки.

Источник

1 ответ

Меню настроек переместилось в верхнюю панель рядом с Activities значок. Это верно не только для meld но также и для многих других приложений GNOME, например gedit,

Я не знаю, почему они это сделали и считают это абсолютно бесполезным и противоречащим интуиции, но так оно и работает.

Источник
  1. sudo vim /usr/lib/python3/dist-packages/meld/meldwindow.py
  2. замещать
    if not gtk_settings.props.gtk_shell_shows_app_menu:
    в
    if gtk_settings.props.gtk_shell_shows_app_menu:
  3. Прибыль!

Работает на Ubuntu 19.04

Источник

Я исправил это установкой gnome-tweaks и отключение "меню приложения" под "верхней панелью".

Источник
Другие вопросы по тегам