Как удалить или изменить значки в терминале гнома 3.18.3?
Я недавно установил Ubuntu 16.04 и пытаюсь (i) идеально удалить, или (ii) изменить неуклюжий вид, "знак"плюс"" и "стрелку выпадающего списка" около вкладок gnome-terminal.
Красное поле в следующем изображении показывает значки:
Какие-либо подсказки относительно того, как удалить эти значки? Могут их стили быть измененными в ~/.config/gtk-3.0/gtk.css? Альтернативные значки могут использоваться?
1 ответ
К сожалению, те значки от значения по умолчанию Ubuntu Mono, Темный знаковая тема. Я боюсь, что Вы не можете сделать многого, не заменяя те значки или с помощью другой Знаковой темы.
Вот некоторые альтернативы, которые я хочу предложить, чтобы Вы попробовали.
-
Помощник Фаэнца Темная знаковая тема (самая предпочтительная)
-
Знаковая тема Возрождения
-
MacBuntu Знаковая тема ОС
-
Бумажная Знаковая тема
, необходимо смочь найти знаковую тему из различного PPAs доступный. Некоторые из них