Комбинация Ubuntu 18.10 недостающая предпочтительная опция
Инструмент Meld слияния/разности пропускает предпочтительную опцию (Редактирование-> предпочтения) на Ubuntu 18.10. Действительно ли это - общий вопрос или характерный для моей установки Ubuntu? Как может, это зафиксировало?
Обновление для любого сталкивающегося с той же проблемой: Походит на функцию Gnome-Shell. Нажмите на маленькую Стрелку вниз рядом со значком "Meld" в строке меню оболочки.
3 ответа
Меню свойства переместилось в главную панель только рядом с Activities значок. Это не только верно для meld но также и для многих других приложений GNOME, например. gedit.
Я не знаю, почему они сделали это и считают это полностью бесполезным и противостоят интуитивный, но это - то, как это работает.
sudo vim /usr/lib/python3/dist-packages/meld/meldwindow.py- замена
if not gtk_settings.props.gtk_shell_shows_app_menu:
кому:
if gtk_settings.props.gtk_shell_shows_app_menu: - Получите прибыль!
Продолжает работать Ubuntu 19.04
Я исправил это, установив gnome-tweaks и отключив «меню приложений» в «верхней панели».