В какой-то момент (который я, к сожалению, точно не записал, но разумно полагать, что это произошло после операции apt-get (dist-)upgrade
), фоновая подсветка meld перестала корректно отображаться.
На следующем снимке экрана видно, что на двух текстовых панелях отсутствует голубая подсветка:
Сравните, например, с http://meldmerge.org/ снимок экрана:
Я попытался найти проблему, прочитав о Gtk Css (который, по-видимому, использует meld), и дошел до того, что проверил, что мой /usr/share/meld/meld.css
имеет правильное содержимое, но я понятия не имею, что делать следующий.
Я использую Debian Jessie, GNOME и $ meld --version
meld - версия возвращает meld 3.12.0
.
Я не могу найти меню или параметр командной строки для доступа к меню "Предпочтения" в версии, которую я использую.