Доброго времени суток. Хочу предупредить тех немногих(?), кто пользуется шрифтами DejaVu, что в последней версии (1.13) некорректно отображается шрифт DejaVu Sans Mono. Апстрим извещён, а пока лучше остаться на 1.12. -- Alexey "Ktirf" Rusakov