Ubuntu Server 12.04 + Webmin, добавьте жесткие диски в рейд 6

Хорошо, что хорошая практика вообще не изменять исходные файлы, а переопределять их значения в соответствии с вашими предпочтениями.

Если у вас ее еще нет, создайте или запустите файл gtk.css в этот путь

~/.config/gtk-3.0/gtk.css

Вставьте следующий код, закройте все терминалы и запустите одно новое.

@define-color bg-grey #222; @define-color active-grey #333; @define-color border-grey #555; TerminalWindow .notebook { border: 0; padding: 0; color: #eee; background-color: shade(@active-grey, 1); } TerminalWindow .notebook tab:active { border: 1px solid @border-grey; background-color: shade(@active-grey, 1); } TerminalWindow .notebook tab { background-color: shade(@bg-grey, 1); }

Теперь не только он удалит границы, как вы намеревались, но и «лучше подойдет» с темным фоном, мои глаза «пострадают» от светло-серого. Результат, когда у вас есть несколько вкладок, должен выглядеть так, что, конечно же, вы можете настроить его, изменяя цветовые переменные в соответствии с вашими предпочтениями.

1
задан 27 January 2014 в 21:17

0 ответов

Другие вопросы по тегам:

Похожие вопросы: