Я использую Gnome Shell. Я хочу уменьшить время, в течение которого эта картинка или что-то еще, сообщая мне, в каком рабочем пространстве я двигаюсь, появляется при переключении рабочих пространств. Изображение прилагается.
В Unity это достаточно короткий срок. Но в «Шелл» он остается на долю секунды дольше, что меня действительно раздражает. Когда я читаю некоторые материалы по программированию в браузере в одной рабочей области и пробую их в IDE в другой, мне нравится быстро переключать рабочие области. Я быстро продолжаю их переключать: читаю здесь и пытаюсь там. Но это глупое видение встречается слишком долго.
Откройте файл /usr/share/gnome-shell/js/ui/workspaceSwitcherPopup.js
и найдите следующие строки:
const ANIMATION_TIME = 0.1;
const DISPLAY_TIMEOUT = 600;
Просто отредактируйте их, и вуаля! Первый устанавливает продолжительность анимации перехода (в секундах, я думаю), второй - фактическое время отображения переключателя (в миллисекундах). Не забудьте перезапустить командную консоль после сохранения файла.