Итак, я уже использую Ubuntu Tweak, чтобы изменить шрифт моего интерфейса. Там есть опции для всего, кроме жирного заголовка в строке меню. Это все еще установлено (что я предполагаю, что) Ubuntu жирным шрифтом, и ...
вопрос задан: 21 June 2012 19:53