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 - значения, определяющие паузу между наведение курсора на панель и ее реакцией, значение в миллисекундах, я поставил сто =)
Все эти параметры можно редактировать в любых вариациях. Всем удачи!