Сам то шрифт изменяется подстановкой хорошо. Все выглядит пристойно, вот только размер мне например хочется тахому 8, а там по умолчанию 12 кажись. ВЕликовато. И как изменить не знаю... может кто подскажет?
Ответ на:
комментарий
от Demetrio
Ответ на:
комментарий
от anonymous
Вы не можете добавлять комментарии в эту тему. Тема перемещена в архив.
Похожие темы
- Форум vim и youcompleteme (2018)
- Форум Как уменьшить насыщенность в Linux/Android? (2023)
- Форум Системный таймер (2003)
- Форум Шрифт всплывающих подсказок (2004)
- Форум Фильтр трекера по-умолчанию (2014)
- Форум Изменить размер жесткого диска (уменьшить) (2018)
- Форум Изменение монитора по умолчанию (2015)
- Форум Карта города (2008)
- Галерея Ubuntu 6.10 и шрифты (2006)
- Форум Как увеличить колличество tty портов (2012)