18.04 Gnome Mutter: изменение продолжительности анимации переключателя рабочего пространства
Ubuntu 18.04 Gnome 3.28.2 (по-моему, с Mutter по умолчанию)
Анимация переключателя рабочего пространства хороша, и я считаю, что наложение переключателя полезно, но оно занимает слишком много времени для моего рабочего процесса. Я не спрашиваю, как убрать анимацию или наложение переключателя. Скорее я хочу сделать анимацию быстрее. Анимация состоит из двух частей:
- Рабочая область перемещается вверх / вниз, а другая перемещается на место позади нее.
- Наложение отображает представление перемещения между рабочими пространствами, а затем находится поверх нового рабочего пространства примерно на секунду после завершения части 1.
Меня обычно беспокоит первая часть, но для оптимальной функциональности потребуется сокращение продолжительности обеих.
Справочная информация (насколько я понимаю) для будущих помощников: переключатель рабочего пространства - это компонент Mutter, который используется оболочкой GNOME для управления окнами. Оболочка GNOME - это среда рабочего стола по умолчанию для Ubuntu 18.04.
1 ответ
I нашел расширение, отключающее всплывающее окно. Не совсем то, что вы хотели, но это может вам помочь. Вы, вероятно, уже решили эту проблему, но если нет, вот ссылка на сайт расширений gnome. Есть расширение, которое делает то, что вам нужно. Здесь: https://extensions.gnome.org/extension/959/disable-workspace-switcher-popup/