Tips & tricks — Ускорение панели GNOME

Все наверное сталкивались с тем, что панель в гноме прячется очень медленно и оставляет пару мегапикселей на виду. Я решил это поправить, в чем конечно помог мне google.



Итак, нашел такое решение:

1. "Приложения" --> "Системные утилиты" --> "Редактор конфигурации"

2. В редакторе конфигурации идем apps -->panel -->toplevels

3. top_panel_screen и bottom_panel_screen означают верхнюю и нижнюю панель соответственно, в каждой меняем значения:

а)auto_hide_size - ставим 0 (наконец-то она не торчит),

б)enable_animations - отрубаем галку (получаем скоростное скрытие)

в)hide_delay и unhide_delay - значения, определяющие паузу между наведение курсора на панель и ее реакцией, значение в миллисекундах, я поставил сто =)



Все эти параметры можно редактировать в любых вариациях. Всем удачи!