Здравствуйте.
Мне нравятся gui-двухпанельники, а среди них мне нравится doublecmd-gtk. Так нравится, что я даже хотел впилить его файлменеджером по умолчанию. Остановила меня невозможность отстроить у него высоту шрифта в панелях.
Поясняю насчёт скриншота по ссылке: невооружённым взглядом видно, что «DejaVu Sans Mono 10» в окне doublecmd, и «DejaVu Sans Mono 10» в остальной системе (шрифт системной панели, шрифт строки меню)- это две большие разницы (высота шрифта «не бьётся»).
Вопрос в том, как мне это исправить, ибо в тонкостях настройки gtk2/3 не очсилён, а конфиг doublecmd уже изрыл вдоль и поперёк.
Спасибо за внимание.
P.S. Практически полностью уверился, что это косяк моей gtk темы, ибо в gtk-интерфейсе chromium'а вылезает тот же «уменьшенный» шрифт.
